Searched refs:x86_sys_null (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h193 static inline void x86_sys_null(seL4_Word sys) function
351 static inline void x86_sys_null(seL4_Word sys) function
782 x86_sys_null(seL4_SysYield);
841 x86_sys_null(seL4_SysDebugHalt);
849 x86_sys_null(seL4_SysDebugSnapshot);
952 x86_sys_null(seL4_SysBenchmarkNullSyscall);
958 x86_sys_null(seL4_SysBenchmarkFlushCaches);

Completed in 196 milliseconds