DTRACE_XPV4
DTRACE_XPV4(xenbus__enqueue__watch,
DTRACE_XPV4(xenbus__fire__watch,
DTRACE_XPV4(increase__reservation__start,
DTRACE_XPV4(decrease__reservation__start,
DTRACE_XPV4(add__to__physmap__start, domid_t,