Searched defs:wfi (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv6/armv/
H A Dmachine.h14 static inline void wfi(void) function
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv7-a/armv/
H A Dmachine.h17 static inline void FORCE_INLINE wfi(void) function
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv7ve/armv/
H A Dmachine.h17 static inline void FORCE_INLINE wfi(void) function
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/32/armv/
H A Dmachine.h17 static inline void FORCE_INLINE wfi(void) function
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/64/armv/
H A Dmachine.h16 static inline void wfi(void) function
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_stepLib.sml429 val (wfi,upd) = Lib.pluck value

Completed in 95 milliseconds