Searched refs:VTCR_EL2_SL0_4K_LVL1 (Results 1 – 2 of 2) sorted by relevance
260 #define VTCR_EL2_SL0_4K_LVL1 (0x1UL << VTCR_EL2_SL0_SHIFT) macro
210 return (VTCR_EL2_SL0_4K_LVL1); in vmm_vtcr_el2_sl()