Searched refs:VTCR_EL2_PS_48BIT (Results 1 – 2 of 2) sorted by relevance
283 #define VTCR_EL2_PS_48BIT (0x5UL << VTCR_EL2_PS_SHIFT) macro
411 min(pa_range_bits << VTCR_EL2_PS_SHIFT, VTCR_EL2_PS_48BIT); in vmmops_modinit()