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

/seL4-l4v-10.1.1/seL4/src/arch/arm/
H A Dc_traps.c28 NODE_LOCK_SYS;
72 NODE_LOCK_SYS;
127 NODE_LOCK_SYS;
/seL4-l4v-10.1.1/seL4/src/arch/riscv/
H A Dc_traps.c114 NODE_LOCK_SYS;
141 NODE_LOCK_SYS;
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c144 NODE_LOCK_SYS;
H A Dboot_sys.c560 NODE_LOCK_SYS;
/seL4-l4v-10.1.1/seL4/include/smp/
H A Dlock.h165 #define NODE_LOCK_SYS NODE_LOCK(false) macro
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/
H A Dc_traps.c28 NODE_LOCK_SYS;
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dc_traps.c25 NODE_LOCK_SYS;
/seL4-l4v-10.1.1/seL4/src/arch/x86/
H A Dc_traps.c156 NODE_LOCK_SYS;
/seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/
H A Dboot.c319 NODE_LOCK_SYS;
549 NODE_LOCK_SYS;
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dvcpu.c1186 NODE_LOCK_SYS;

Completed in 100 milliseconds