VTCR_EL2_PS_SHIFT

2138

#define VTCR_EL2_PS_32BIT (0x0UL << VTCR_EL2_PS_SHIFT)

2139

#define VTCR_EL2_PS_36BIT (0x1UL << VTCR_EL2_PS_SHIFT)

2140

#define VTCR_EL2_PS_40BIT (0x2UL << VTCR_EL2_PS_SHIFT)

2141

#define VTCR_EL2_PS_42BIT (0x3UL << VTCR_EL2_PS_SHIFT)

2142

#define VTCR_EL2_PS_44BIT (0x4UL << VTCR_EL2_PS_SHIFT)

2143

#define VTCR_EL2_PS_48BIT (0x5UL << VTCR_EL2_PS_SHIFT)

2144

#define VTCR_EL2_PS_52BIT (0x6UL << VTCR_EL2_PS_SHIFT)

403

min(pa_range_bits << VTCR_EL2_PS_SHIFT, VTCR_EL2_PS_52BIT);

406

min(pa_range_bits << VTCR_EL2_PS_SHIFT, VTCR_EL2_PS_48BIT);