Searched refs:kernel_bits (Results 1 – 1 of 1) sorted by relevance
2076 u32 kernel_bits; in kvm_mmu_init() local 2105 kernel_bits = vabits_actual; in kvm_mmu_init() 2106 *hyp_va_bits = max(idmap_bits, kernel_bits); in kvm_mmu_init()