Symbol: __task_lazy_mmu_mode_active
arch/x86/xen/enlighten_pv.c
439
if (__task_lazy_mmu_mode_active(next))
include/linux/sched.h
1743
return __task_lazy_mmu_mode_active(current);