XC_DOIT
ASSERT(xmp->xc_state == XC_DOIT);
if (xmp->xc_state == XC_DOIT) {
xc_mbox[cpuid].xc_state = XC_DOIT; \