DTRACE_XPV1
DTRACE_XPV1(mmap__end, int, error);
DTRACE_XPV1(mmu__ext__op__end, int, error);
DTRACE_XPV1(mmu__update__end, int, error);
DTRACE_XPV1(dom__create__start, xen_domctl_t *,
DTRACE_XPV1(dom__destroy__start, domid_t, op.domain);
DTRACE_XPV1(dom__pause__start, domid_t, op.domain);
DTRACE_XPV1(dom__unpause__start, domid_t, op.domain);
DTRACE_XPV1(dom__create__end, int, error);
DTRACE_XPV1(dom__destroy__end, int, error);
DTRACE_XPV1(dom__pause__end, int, error);
DTRACE_XPV1(dom__unpause__end, int, error);
DTRACE_XPV1(setvcpucontext__end, int, error);
DTRACE_XPV1(increase__reservation__end, int, error);
DTRACE_XPV1(decrease__reservation__end, int, error);
DTRACE_XPV1(populate__physmap__end, int, error);
DTRACE_XPV1(add__to__physmap__end, int, error);
DTRACE_XPV1(set__memory__map__end, int, error);
DTRACE_XPV1(evtchn__op__end, int, error);