Searched refs:TCR_TG0_64K (Results 1 – 2 of 2) sorted by relevance
90 #define TCR_TG0_64K (UL(1) << TCR_TG0_SHIFT) macro
328 tcr_el1 |= TCR_TG0_64K; in aarch64_vcpu_setup()