XC_ATTENTION
ASSERT(x_dstat[lcx][XC_ATTENTION] ==
XC_STAT_INC(x_dstat[lcx][XC_ATTENTION]);
XC_TRACE(XC_ATTENTION, &xc_cpuset, NULL, 0, 0);
ASSERT(x_dstat[lcx][XC_DISMISSED] == x_dstat[lcx][XC_ATTENTION]);