Searched refs:VTCR_EL2_SL0_4K_LVL2 (Results 1 – 2 of 2) sorted by relevance
223 #define VTCR_EL2_SL0_4K_LVL2 (0x0UL << VTCR_EL2_SL0_SHIFT) macro
206 return (VTCR_EL2_SL0_4K_LVL2); in vmm_vtcr_el2_sl()