xen_mc_issue
xen_mc_issue(XEN_LAZY_CPU);
xen_mc_issue(XEN_LAZY_CPU);
xen_mc_issue(XEN_LAZY_CPU);
xen_mc_issue(XEN_LAZY_CPU);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_CPU); /* interrupts restored */
xen_mc_issue(XEN_LAZY_CPU); /* interrupts restored */
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_CPU);
xen_mc_issue(0);
xen_mc_issue(0);
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);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(XEN_LAZY_MMU);
xen_mc_issue(0);
xen_mc_issue(0);
DEFINE_XEN_MC_BATCH(xen_mc_issue);