PPMD_CPU_READY
if (!(ppmd->domp->dflags & PPMD_CPU_READY)) {
domp->dflags = PPMD_LOCK_ALL | PPMD_CPU_READY;
if (!(cpup->domp->dflags & PPMD_CPU_READY)) {