lpa2_is_enabled
#define PTE_MAYBE_SHARED (lpa2_is_enabled() ? 0 : PTE_SHARED)
#define PMD_MAYBE_SHARED (lpa2_is_enabled() ? 0 : PMD_SECT_S)
#define PHYS_MASK_SHIFT (lpa2_is_enabled() ? CONFIG_ARM64_PA_BITS : 48)
tlb_level, true, lpa2_is_enabled());
tlb_level, true, lpa2_is_enabled());
3, true, lpa2_is_enabled());
TLBI_TTL_UNKNOWN, false, lpa2_is_enabled());
if (lpa2_is_enabled())
if (lpa2_is_enabled()) {