xen_get_lazy_mode
enum xen_lazy_mode xen_get_lazy_mode(void);
if (xen_get_lazy_mode() == XEN_LAZY_CPU)
if (xen_get_lazy_mode() == XEN_LAZY_MMU)
if (xen_get_lazy_mode() != XEN_LAZY_MMU)
trace_xen_mc_batch(xen_get_lazy_mode());
if ((xen_get_lazy_mode() & mode) == 0)