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