Searched refs:kernel_bits (Results 1 – 1 of 1) sorted by relevance
1880 u32 kernel_bits; in kvm_mmu_init() local1916 kernel_bits = vabits_actual; in kvm_mmu_init()1917 *hyp_va_bits = max(idmap_bits, kernel_bits); in kvm_mmu_init()