Home
last modified time | relevance | path

Searched refs:arm_sys_null (Results 1 – 3 of 3) sorted by relevance

/seL4-master/libsel4/arch_include/arm/sel4/arch/
A Dsyscalls.h489 arm_sys_null(seL4_SysYield); in seL4_Yield()
611 arm_sys_null(seL4_SysDebugHalt); in seL4_DebugHalt()
616 arm_sys_null(seL4_SysDebugSnapshot); in seL4_DebugSnapshot()
709 arm_sys_null(seL4_SysBenchmarkNullSyscall); in seL4_BenchmarkNullSyscall()
/seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
A Dsyscalls.h214 static inline void arm_sys_null(seL4_Word sys) in arm_sys_null() function
/seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
A Dsyscalls.h214 static inline void arm_sys_null(seL4_Word sys) in arm_sys_null() function

Completed in 5 milliseconds