Searched refs:MARK_CPU_ACTIVE (Results 1 – 3 of 3) sorted by relevance
293 MARK_CPU_ACTIVE(cpu_number()); in pal_efi_call_in_32bit_mode()
863 #define MARK_CPU_ACTIVE(my_cpu) { \ macro
182 MARK_CPU_ACTIVE(cnum); in machine_idle()