Searched refs:idmap_t0sz (Results 1 – 6 of 6) sorted by relevance
63 extern u64 idmap_t0sz;68 return unlikely(idmap_t0sz != TCR_T0SZ(vabits_actual)); in __cpu_uses_extended_idmap()77 return ARM64_HW_PGTABLE_LEVELS(64 - idmap_t0sz) > CONFIG_PGTABLE_LEVELS; in __cpu_uses_extended_idmap_level()98 #define cpu_set_idmap_tcr_t0sz() __cpu_set_tcr_t0sz(idmap_t0sz)
491 ldr_l x9, idmap_t0sz
43 u64 idmap_t0sz = TCR_T0SZ(VA_BITS_MIN); variable
341 adr_l x6, idmap_t0sz
1323 *hyp_va_bits = 64 - ((idmap_t0sz & TCR_T0SZ_MASK) >> TCR_T0SZ_OFFSET); in kvm_mmu_init()
1434 tcr |= (idmap_t0sz & GENMASK(TCR_TxSZ_WIDTH - 1, 0)) << TCR_T0SZ_OFFSET; in cpu_prepare_hyp_mode()