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

/seL4-l4v-master/seL4/src/arch/arm/
H A Dc_traps.c21 NODE_LOCK_SYS;
67 NODE_LOCK_SYS;
128 NODE_LOCK_SYS;
144 NODE_LOCK_SYS;
163 NODE_LOCK_SYS;
184 NODE_LOCK_SYS;
/seL4-l4v-master/seL4/src/arch/riscv/
H A Dc_traps.c116 NODE_LOCK_SYS;
163 NODE_LOCK_SYS;
/seL4-l4v-master/seL4/src/arch/x86/32/
H A Dc_traps.c24 NODE_LOCK_SYS;
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c132 NODE_LOCK_SYS;
H A Dboot_sys.c505 NODE_LOCK_SYS;
/seL4-l4v-master/seL4/include/smp/
H A Dlock.h165 #define NODE_LOCK_SYS NODE_LOCK(false) macro
/seL4-l4v-master/seL4/src/arch/x86/64/
H A Dc_traps.c19 NODE_LOCK_SYS;
/seL4-l4v-master/seL4/src/arch/arm/kernel/
H A Dboot.c270 NODE_LOCK_SYS;
561 NODE_LOCK_SYS;
/seL4-l4v-master/seL4/src/arch/x86/
H A Dc_traps.c153 NODE_LOCK_SYS;
/seL4-l4v-master/seL4/src/arch/riscv/kernel/
H A Dboot.c169 NODE_LOCK_SYS;
/seL4-l4v-master/seL4/src/arch/x86/object/
H A Dvcpu.c1148 NODE_LOCK_SYS;

Completed in 178 milliseconds