xen_mmu_set_pud   226 include/trace/events/xen.h TRACE_EVENT(xen_mmu_set_pud,
xen_mmu_set_pud   261 include/trace/events/xen.h TRACE_EVENT(xen_mmu_set_pud,