Searched refs:TCR_TG0_4K (Results 1 – 2 of 2) sorted by relevance
89 #define TCR_TG0_4K (UL(0) << TCR_TG0_SHIFT) macro
341 tcr_el1 |= TCR_TG0_4K; in aarch64_vcpu_setup()