DEFINE_XEN_MMU_SET_PTE  146 include/trace/events/xen.h DEFINE_XEN_MMU_SET_PTE(xen_mmu_set_pte);
DEFINE_XEN_MMU_SET_PTE  147 include/trace/events/xen.h DEFINE_XEN_MMU_SET_PTE(xen_mmu_set_pte_atomic);