XDT_SCHED_ADD_VCPU
{ "sched", "add", XDT_SCHED_ADD_VCPU, XDT_SCHED },
XDT_PROBE2(XDT_SCHED_ADD_VCPU, data[0], data[1]);