/seL4-test-master/projects/musllibc/src/linux/ |
H A D | sysinfo.c | 5 int __lsysinfo(struct sysinfo *info) argument
|
/seL4-test-master/projects/seL4_libs/libsel4debug/src/ |
H A D | bootinfo.c | 21 void debug_print_bootinfo(seL4_BootInfo *info) argument [all...] |
/seL4-test-master/projects/musllibc/src/ldso/ |
H A D | dladdr.c | 5 static int stub_dladdr(const void *addr, Dl_info *info) argument
|
H A D | dl_iterate_phdr.c | 7 static int static_dl_iterate_phdr(int(*callback)(struct dl_phdr_info *info, size_t size, void *data), void *data) argument 13 struct dl_phdr_info info; local [all...] |
/seL4-test-master/projects/musllibc/src/process/ |
H A D | waitid.c | 5 int waitid(idtype_t type, id_t id, siginfo_t *info, int options) argument
|
/seL4-test-master/kernel/include/benchmark/ |
H A D | benchmark_track.h | 52 seL4_MessageInfo_t info = messageInfoFromWord_raw(msgInfo); local
|
/seL4-test-master/projects/sel4runtime/src/ |
H A D | start_root.c | 62 } info = { local
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/time_server/ |
H A D | client.c | 28 seL4_MessageInfo_t info = seL4_MessageInfo_new(ltimer->label, 0, 0, 1); local 38 seL4_MessageInfo_t info = seL4_MessageInfo_new(ltimer->label, 0, 0, 2 + SEL4UTILS_64_WORDS); local
|
/seL4-test-master/projects/musllibc/src/ldso/arm/ |
H A D | find_exidx.c | 10 static int find_exidx(struct dl_phdr_info *info, size_t size, void *ptr) argument
|
/seL4-test-master/kernel/libsel4/include/sel4/ |
H A D | faults.h | 77 seL4_MessageInfo_t info = seL4_MessageInfo_new(!resume, 0, 0, length); local
|
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | hardware.c | 99 rdmsr_safe_result_t info = x86_rdmsr_safe(IA32_PLATFORM_INFO_MSR); local
|
/seL4-test-master/tools/seL4/misc/ |
H A D | cpio-strip.c | 94 struct cpio_info info = { .file_count = 0 }; local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | keyboard_vkey.c | 553 keycode_info_char_modifier(keycode_info_t *info, bool ctrl, bool shift) argument 562 keycode_info_char(keycode_state_t *s, keycode_info_t *info) argument 671 keycode_info_t *info = keycode_process_vkey_event(s, vkey, pressed, cookie); local [all...] |
/seL4-test-master/tools/riscv-pk/pk/ |
H A D | elf.c | 26 void load_elf(const char* fn, elf_info* info) argument
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | nbwait.c | 39 seL4_MessageInfo_t info = {{0}}; local [all...] |
H A D | regressions.c | 43 seL4_MessageInfo_t info = seL4_MessageInfo_new(result, 0, 0, 0); local 79 seL4_MessageInfo_t info; local
|
/seL4-test-master/projects/musllibc/src/linux/x32/ |
H A D | sysinfo.c | 24 int __lsysinfo(struct sysinfo *info) argument [all...] |
/seL4-test-master/kernel/src/fastpath/ |
H A D | fastpath.c | 26 seL4_MessageInfo_t info; local 236 seL4_MessageInfo_t info; local [all...] |
/seL4-test-master/projects/util_libs/libcpio/src/ |
H A D | cpio.c | 227 int cpio_info(void *archive, unsigned long len, struct cpio_info *info) { argument 108 cpio_parse_header(struct cpio_header *archive, unsigned long len, struct cpio_header_info *info) argument [all...] |
/seL4-test-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls_sysenter.h | 22 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, argument 48 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, argument 73 static inline void x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument 120 static inline void x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, argument 159 x64_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument [all...] |
H A D | syscalls_syscall.h | 21 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, argument 46 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, argument 70 static inline void x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument 115 static inline void x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, argument 152 x64_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument [all...] |
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
H A D | main.c | 60 seL4_MessageInfo_t info = seL4_MessageInfo_new(seL4_Fault_NullFault, 0, 0, 1); local 245 seL4_MessageInfo_t info = seL4_MessageInfo_new(seL4_Fault_NullFault, 0, 0, 1); local
|
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
H A D | testtypes.c | 74 seL4_MessageInfo_t info; local 122 seL4_MessageInfo_t info; local [all...] |
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | thread.c | 294 seL4_MessageInfo_t info; local
|
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | mcs_api.h | 79 static inline seL4_MessageInfo_t api_nbsend_recv(UNUSED seL4_CPtr send, UNUSED seL4_MessageInfo_t info, argument 91 static inline seL4_MessageInfo_t api_nbsend_wait(UNUSED seL4_CPtr send, UNUSED seL4_MessageInfo_t info, argument
|