Searched refs:TCR_EPD1_MASK (Results 1 – 2 of 2) sorted by relevance
94 #define TCR_EPD1_MASK (UL(1) << TCR_EPD1_SHIFT) macro
382 tcr_el1 |= TCR_EPD1_MASK; in aarch64_vcpu_setup()