Searched refs:MARK_CPU_IDLE (Results 1 – 3 of 3) sorted by relevance
257 MARK_CPU_IDLE(cpu_number()); in pal_efi_call_in_32bit_mode()
130 MARK_CPU_IDLE(cnum); in machine_idle()
857 #define MARK_CPU_IDLE(my_cpu) { \ macro