is_lazy_mmu_mode_active
if (is_lazy_mmu_mode_active()) {
if (!is_lazy_mmu_mode_active()) {
if (!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(!is_lazy_mmu_mode_active());
if (!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());
KUNIT_EXPECT_TRUE(test, is_lazy_mmu_mode_active());
KUNIT_EXPECT_FALSE(test, is_lazy_mmu_mode_active());