Searched refs:idmap_bits (Results 1 – 1 of 1) sorted by relevance
1879 u32 idmap_bits; in kvm_mmu_init() local1915 idmap_bits = 64 - ((idmap_t0sz & TCR_T0SZ_MASK) >> TCR_T0SZ_OFFSET); in kvm_mmu_init()1917 *hyp_va_bits = max(idmap_bits, kernel_bits); in kvm_mmu_init()