XEN_LAZY_MMU
if (this_cpu_read(xen_lazy_mode) == XEN_LAZY_MMU) {
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
enter_lazy(XEN_LAZY_MMU);
if (xen_get_lazy_mode() == XEN_LAZY_MMU)
leave_lazy(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
if (xen_get_lazy_mode() != XEN_LAZY_MMU)
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
(__entry->mode == XEN_LAZY_MMU) ? "MMU" :