Searched refs:VTTBR (Results 1 – 3 of 3) sorted by relevance
33 write_sysreg(kvm_get_vttbr(kvm), VTTBR); in __kvm_tlb_flush_vmid()40 write_sysreg(0, VTTBR); in __kvm_tlb_flush_vmid()53 write_sysreg(kvm_get_vttbr(kvm), VTTBR); in __kvm_flush_cpu_context()61 write_sysreg(0, VTTBR); in __kvm_flush_cpu_context()
69 write_sysreg(kvm_get_vttbr(kvm), VTTBR); in __activate_vm()75 write_sysreg(0, VTTBR); in __deactivate_vm()225 if (read_sysreg(VTTBR)) { in __hyp_panic()
30 #define VTTBR __ACCESS_CP15_64(6, c2) macro