HelenOS sources

cpu_sleep          59 kernel/arch/abs32le/include/arch/asm.h _NO_TRACE static inline void cpu_sleep(void)
cpu_sleep          58 kernel/arch/arm32/include/arch/asm.h _NO_TRACE static inline void cpu_sleep(void)
cpu_sleep          51 kernel/arch/arm64/include/arch/asm.h _NO_TRACE static inline void cpu_sleep(void)
cpu_sleep          42 kernel/arch/mips32/include/arch/asm.h _NO_TRACE static inline void cpu_sleep(void)
HelenOS homepage, sources at GitHub