ARM64_HW_PGTABLE_LEVEL_SHIFT
return BIT(ARM64_HW_PGTABLE_LEVEL_SHIFT(esr & ESR_ELx_FSC_LEVEL));
return ARM64_HW_PGTABLE_LEVEL_SHIFT(level);
#define PMD_SHIFT ARM64_HW_PGTABLE_LEVEL_SHIFT(2)
#define PUD_SHIFT ARM64_HW_PGTABLE_LEVEL_SHIFT(1)
#define P4D_SHIFT ARM64_HW_PGTABLE_LEVEL_SHIFT(0)
#define PGDIR_SHIFT ARM64_HW_PGTABLE_LEVEL_SHIFT(4 - CONFIG_PGTABLE_LEVELS)
return BIT(ARM64_HW_PGTABLE_LEVEL_SHIFT(level));
level_lsb = ARM64_HW_PGTABLE_LEVEL_SHIFT(this_level);