XC_LOOP_EXIT
XC_TRACE(XC_LOOP_EXIT, &tset, NULL, 0, 0);
uint_t x_dstat[NCPU][XC_LOOP_EXIT+1];
extern uint_t x_dstat[NCPU][XC_LOOP_EXIT+1];