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