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()
851 #define MARK_CPU_IDLE(my_cpu) { \ macro
132 MARK_CPU_IDLE(cnum); in machine_idle()