mcpm_cpu_powered_up
mcpm_cpu_powered_up();
int mcpm_cpu_powered_up(void);
WARN_ON(mcpm_cpu_powered_up());