DEFINE_XEN_MMU_SET_PTE  154 include/trace/events/xen.h DEFINE_XEN_MMU_SET_PTE(xen_mmu_set_pte);
DEFINE_XEN_MMU_SET_PTE  194 include/trace/events/xen.h DEFINE_XEN_MMU_SET_PTE(xen_mmu_set_pte_atomic);