XDT_PROBE4
XDT_PROBE4(IS_IDLE_DOM(sp->next_domid)?
XDT_PROBE4(XDT_SCHED_RUNSTATE_CHANGE, data[0] >> 16,
XDT_PROBE4(XDT_PV_TRAP, data[0], data[1] & 0x7fff,
XDT_PROBE4(XDT_PV_TRAP, rip64, data[2] & 0x7fff,