XEN_LAZY_CPU
xen_mc_issue(XEN_LAZY_CPU);
xen_mc_issue(XEN_LAZY_CPU);
enter_lazy(XEN_LAZY_CPU);
leave_lazy(XEN_LAZY_CPU);
xen_mc_issue(XEN_LAZY_CPU);
if (xen_get_lazy_mode() == XEN_LAZY_CPU)
xen_mc_issue(XEN_LAZY_CPU);
xen_mc_issue(XEN_LAZY_CPU); /* interrupts restored */
xen_mc_issue(XEN_LAZY_CPU); /* interrupts restored */
xen_mc_issue(XEN_LAZY_CPU);
(__entry->mode == XEN_LAZY_CPU) ? "CPU" : "NONE")