Searched refs:__vcpu_read_sys_reg (Results 1 – 1 of 1) sorted by relevance
23 static inline u64 __vcpu_read_sys_reg(const struct kvm_vcpu *vcpu, int reg) in __vcpu_read_sys_reg() function112 vbar = __vcpu_read_sys_reg(vcpu, VBAR_EL1); in enter_exception64()113 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL1); in enter_exception64()117 vbar = __vcpu_read_sys_reg(vcpu, VBAR_EL2); in enter_exception64()118 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL2); in enter_exception64()196 u32 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL1); in get_except32_cpsr()292 u32 sctlr = __vcpu_read_sys_reg(vcpu, SCTLR_EL1); in enter_exception32()316 vect_offset += __vcpu_read_sys_reg(vcpu, VBAR_EL1); in enter_exception32()
Completed in 4 milliseconds