Lines Matching refs:vcpu_read_sys_reg
111 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL1); in setup_s1_walk()
112 tcr = vcpu_read_sys_reg(vcpu, TCR_EL1); in setup_s1_walk()
114 vcpu_read_sys_reg(vcpu, TTBR1_EL1) : in setup_s1_walk()
115 vcpu_read_sys_reg(vcpu, TTBR0_EL1)); in setup_s1_walk()
119 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL2); in setup_s1_walk()
120 tcr = vcpu_read_sys_reg(vcpu, TCR_EL2); in setup_s1_walk()
122 vcpu_read_sys_reg(vcpu, TTBR1_EL2) : in setup_s1_walk()
123 vcpu_read_sys_reg(vcpu, TTBR0_EL2)); in setup_s1_walk()
711 vcpu_read_sys_reg(vcpu, MAIR_EL1) : in compute_par_s1()
712 vcpu_read_sys_reg(vcpu, MAIR_EL2)); in compute_par_s1()
718 vcpu_read_sys_reg(vcpu, SCTLR_EL1) : in compute_par_s1()
719 vcpu_read_sys_reg(vcpu, SCTLR_EL2)); in compute_par_s1()
743 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL1); in pan3_enabled()
745 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL2); in pan3_enabled()
913 write_sysreg_el1(vcpu_read_sys_reg(vcpu, TTBR0_EL1), SYS_TTBR0); in __kvm_at_s1e01_fast()
914 write_sysreg_el1(vcpu_read_sys_reg(vcpu, TTBR1_EL1), SYS_TTBR1); in __kvm_at_s1e01_fast()
915 write_sysreg_el1(vcpu_read_sys_reg(vcpu, TCR_EL1), SYS_TCR); in __kvm_at_s1e01_fast()
916 write_sysreg_el1(vcpu_read_sys_reg(vcpu, MAIR_EL1), SYS_MAIR); in __kvm_at_s1e01_fast()
917 write_sysreg_el1(vcpu_read_sys_reg(vcpu, SCTLR_EL1), SYS_SCTLR); in __kvm_at_s1e01_fast()
1075 par = vcpu_read_sys_reg(vcpu, PAR_EL1); in __kvm_at_s12()
1084 !(vcpu_read_sys_reg(vcpu, HCR_EL2) & (HCR_VM | HCR_DC))) in __kvm_at_s12()