Home
last modified time | relevance | path

Searched refs:vttbr (Results 1 – 7 of 7) sorted by relevance

/arch/arm/kvm/hyp/
Dtlb.c43 write_sysreg(kvm->arch.vttbr, VTTBR); in __kvm_tlb_flush_vmid()
63 write_sysreg(kvm->arch.vttbr, VTTBR); in __kvm_tlb_flush_local_vmid()
Dswitch.c79 write_sysreg(kvm->arch.vttbr, VTTBR); in __activate_vm()
/arch/arm64/kvm/hyp/
Dtlb.c31 write_sysreg(kvm->arch.vttbr, vttbr_el2); in __tlb_switch_to_guest_vhe()
40 write_sysreg(kvm->arch.vttbr, vttbr_el2); in __tlb_switch_to_guest_nvhe()
Dswitch.c142 write_sysreg(kvm->arch.vttbr, vttbr_el2); in __activate_vm()
/arch/arm/include/asm/
Dkvm_host.h58 u64 vttbr; member
/arch/arm64/include/asm/
Dkvm_host.h63 u64 vttbr; member
/arch/arm/kvm/
Darm.c485 kvm->arch.vttbr = pgd_phys | vmid; in update_vttbr()