Searched refs:VTTBR (Results 1 – 3 of 3) sorted by relevance
44 write_sysreg(kvm->arch.vttbr, VTTBR); in __kvm_tlb_flush_vmid()51 write_sysreg(0, VTTBR); in __kvm_tlb_flush_vmid()64 write_sysreg(kvm->arch.vttbr, VTTBR); in __kvm_tlb_flush_local_vmid()71 write_sysreg(0, VTTBR); in __kvm_tlb_flush_local_vmid()
80 write_sysreg(kvm->arch.vttbr, VTTBR); in __activate_vm()86 write_sysreg(0, VTTBR); in __deactivate_vm()236 if (read_sysreg(VTTBR)) { in __hyp_panic()
41 #define VTTBR __ACCESS_CP15_64(6, c2) macro
