DTRACE_XPV3
DTRACE_XPV3(xenbus__register__watch, const char *, watch->node,
DTRACE_XPV3(xenbus__unregister__watch, const char *, watch->node,
DTRACE_XPV3(mmap__start, domid_t, mmc->dom, int, mmc->num,
DTRACE_XPV3(mmap__entry, ulong_t, mme->va, ulong_t, mme->mfn,
DTRACE_XPV3(mmapbatch__start, domid_t, mmb->dom, int, mmb->num,
DTRACE_XPV3(mmapbatch__end, int, error, struct seg *, seg, caddr_t,
DTRACE_XPV3(mmu__update__start, int, domid, int, count, mmu_update_t *,
DTRACE_XPV3(populate__physmap__start,
DTRACE_XPV3(set__memory__map__start, domid_t,