Home
last modified time | relevance | path

Searched defs:arch_pause (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/arch/arm/arch/
A Dmachine.h62 static inline void arch_pause(void) in arch_pause() function
/seL4-master/include/arch/riscv/arch/
A Dmachine.h269 static inline void arch_pause(void) in arch_pause() function
/seL4-master/include/arch/x86/arch/
A Dmachine.h197 static inline void arch_pause(void) in arch_pause() function

Completed in 6 milliseconds