cpu_flagged_poweredoff
return (cpu_flagged_poweredoff(cpu->cpu_flags));
int cpu_flagged_poweredoff(cpu_flag_t); /* flags show CPU is powered off */
if (cpu_flagged_poweredoff(cp->sbc_cpu_flags))