xen_mc_issue
xen_mc_issue(!xen_is_cpu_lazy_mode());
xen_mc_issue(!xen_is_cpu_lazy_mode());
xen_mc_issue(!xen_is_cpu_lazy_mode());
xen_mc_issue(!xen_is_cpu_lazy_mode());
xen_mc_issue(!is_lazy_mmu_mode_active());
xen_mc_issue(!is_lazy_mmu_mode_active());
xen_mc_issue(!is_lazy_mmu_mode_active());
xen_mc_issue(!xen_is_cpu_lazy_mode()); /* interrupts restored */
xen_mc_issue(!xen_is_cpu_lazy_mode()); /* interrupts restored */
xen_mc_issue(!is_lazy_mmu_mode_active());
xen_mc_issue(!is_lazy_mmu_mode_active());
xen_mc_issue(!xen_is_cpu_lazy_mode());
xen_mc_issue(true);
xen_mc_issue(true);
xen_mc_issue(!is_lazy_mmu_mode_active());
xen_mc_issue(!is_lazy_mmu_mode_active());
xen_mc_issue(!is_lazy_mmu_mode_active());
xen_mc_issue(!is_lazy_mmu_mode_active());
xen_mc_issue(!is_lazy_mmu_mode_active());
xen_mc_issue(!is_lazy_mmu_mode_active());
xen_mc_issue(!is_lazy_mmu_mode_active());
xen_mc_issue(true);
xen_mc_issue(true);
TRACE_EVENT(xen_mc_issue,