Symbol: kvm_get_vttbr
arch/arm64/include/asm/kvm_mmu.h
325
write_sysreg(kvm_get_vttbr(mmu), vttbr_el2);
arch/arm64/kvm/hyp/nvhe/mem_protect.c
324
params->vttbr = kvm_get_vttbr(mmu);