Lines Matching refs:vcpu_read_sys_reg
406 u64 vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2); in kvm_walk_nested_s2()
415 wi.baddr = vcpu_read_sys_reg(vcpu, VTTBR_EL2); in kvm_walk_nested_s2()
419 wi.be = vcpu_read_sys_reg(vcpu, SCTLR_EL2) & SCTLR_ELx_EE; in kvm_walk_nested_s2()
666 vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2); in lookup_s2_mmu()
667 vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2); in lookup_s2_mmu()
668 hcr = vcpu_read_sys_reg(vcpu, HCR_EL2); in lookup_s2_mmu()
751 s2_mmu->tlb_vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2) & ~VTTBR_CNP_BIT; in get_s2_mmu_nested()
752 s2_mmu->tlb_vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2); in get_s2_mmu_nested()
753 s2_mmu->nested_stage2_enabled = vcpu_read_sys_reg(vcpu, HCR_EL2) & HCR_VM; in get_s2_mmu_nested()
874 tcr = vcpu_read_sys_reg(vcpu, TCR_EL1); in get_asid_by_regime()
878 tcr = vcpu_read_sys_reg(vcpu, TCR_EL2); in get_asid_by_regime()
885 asid = FIELD_GET(TTBRx_EL1_ASID, vcpu_read_sys_reg(vcpu, ttbr_elx)); in get_asid_by_regime()