XC_IDLE
xmp->xc_state = XC_IDLE;
ASSERT(xc_mbox[cix].xc_state == XC_IDLE);
while (xc_mbox[cix].xc_state != XC_IDLE) {
SEND_MBOX_MONDO(xc_cpuset, func, arg1, arg2, XC_IDLE);
WAIT_MBOX_DONE(xc_cpuset, lcx, XC_IDLE, 1);
SEND_MBOX_MONDO(xc_cpuset, func, arg1, arg2, XC_IDLE);
WAIT_MBOX_DONE(xc_cpuset, lcx, XC_IDLE, 1);
if (xc_mbox[pix].xc_state == XC_IDLE) {
xmp->xc_state = XC_IDLE;
XC_IDLE); \