Searched refs:__sysinfo (Results 1 - 18 of 18) sorted by relevance
| /seL4-refos-master/libs/libmuslc/src/internal/ |
| H A D | libc.c | 6 size_t __sysinfo; variable
|
| H A D | libc.h | 46 extern size_t __sysinfo ATTR_LIBC_VISIBILITY;
|
| /seL4-refos-master/libs/libmuslc/src/internal/aarch64_sel4/ |
| H A D | syscall.s | 9 .hidden __sysinfo
10 1: .dword __sysinfo-1b
|
| /seL4-refos-master/libs/libmuslc/src/internal/riscv/ |
| H A D | syscall.s | 34 .hidden __sysinfo
35 1: .word __sysinfo-1b
|
| /seL4-refos-master/libs/libmuslc/src/internal/riscv_sel4/ |
| H A D | syscall.s | 34 .hidden __sysinfo
35 1: .word __sysinfo-1b
|
| /seL4-refos-master/libs/libmuslc/src/internal/arm_sel4/ |
| H A D | syscall.s | 13 .hidden __sysinfo
14 1: .word __sysinfo-1b
|
| /seL4-refos-master/libs/libmuslc/arch/riscv/ |
| H A D | syscall_arch.h | 7 extern unsigned int __sysinfo;
9 extern unsigned long __sysinfo;
12 #define CALL_SYSINFO(n, ...) ((long(*)(long,...))__sysinfo)(n, ##__VA_ARGS__)
|
| /seL4-refos-master/libs/libmuslc/arch/riscv_sel4/ |
| H A D | syscall_arch.h | 7 extern unsigned int __sysinfo;
9 extern unsigned long __sysinfo;
12 #define CALL_SYSINFO(n, ...) ((long(*)(long,...))__sysinfo)(n, ##__VA_ARGS__)
|
| /seL4-refos-master/libs/libmuslc/src/internal/i386_sel4/ |
| H A D | syscall.s | 1 .hidden __sysinfo
4 # Is actually a call into the __sysinfo function. As they have
17 add $[__sysinfo-1b],%eax
|
| /seL4-refos-master/libs/libmuslc/src/internal/x86_64_sel4/ |
| H A D | syscall.s | 1 .hidden __sysinfo
4 # Is actually a call into the __sysinfo function. As they have
17 addq $[__sysinfo-1b],%rax
|
| /seL4-refos-master/libs/libmuslc/arch/aarch64_sel4/ |
| H A D | syscall_arch.h | 4 extern unsigned long __sysinfo;
6 #define CALL_SYSINFO(n, ...) ((long(*)(long,...))__sysinfo)(n, ##__VA_ARGS__)
|
| /seL4-refos-master/libs/libmuslc/arch/arm_sel4/ |
| H A D | syscall_arch.h | 6 extern unsigned int __sysinfo;
8 #define CALL_SYSINFO(n, ...) ((long(*)(long,...))__sysinfo)(n, ##__VA_ARGS__)
|
| /seL4-refos-master/libs/libmuslc/arch/i386_sel4/ |
| H A D | syscall_arch.h | 6 extern unsigned int __sysinfo;
8 #define CALL_SYSINFO(n, ...) ((long(*)(long,...))__sysinfo)(n, ##__VA_ARGS__)
|
| /seL4-refos-master/libs/libmuslc/arch/x86_64_sel4/ |
| H A D | syscall_arch.h | 4 extern unsigned long __sysinfo;
6 #define CALL_SYSINFO(n, ...) ((long(*)(long,...))__sysinfo)(n, ##__VA_ARGS__)
|
| /seL4-refos-master/libs/libmuslc/src/internal/i386/ |
| H A D | syscall.s | 1 .hidden __sysinfo
27 add $[__sysinfo-2b],%eax
|
| /seL4-refos-master/libs/libmuslc/src/env/ |
| H A D | __libc_start_main.c | 30 __sysinfo = aux[AT_SYSINFO];
|
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | vsyscall.c | 294 extern void *__sysinfo;
305 __sysinfo = sel4_vsyscall;
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | vsyscall.c | 294 extern void *__sysinfo;
305 __sysinfo = sel4_vsyscall;
|
Completed in 67 milliseconds