Searched defs:x86_sys_null (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ | ||
H A D | syscalls.h | 153 x86_sys_null(seL4_Word sys) function 278 x86_sys_null(seL4_Word sys) function |
Completed in 72 milliseconds