Searched refs:spsr_irq (Results 1 – 5 of 5) sorted by relevance
159 return vcpu->arch.ctxt.spsr_irq; in vcpu_read_spsr32()173 return read_sysreg(spsr_irq); in vcpu_read_spsr32()197 vcpu->arch.ctxt.spsr_irq = v; in vcpu_write_spsr32()218 write_sysreg(v, spsr_irq); in vcpu_write_spsr32()
323 vcpu->arch.ctxt.spsr_irq = 0; in kvm_reset_vcpu()
147 return &vcpu->arch.ctxt.spsr_irq; in core_reg_addr()
171 vcpu->arch.ctxt.spsr_irq = read_sysreg(spsr_irq); in __sysreg32_save_state()188 write_sysreg(vcpu->arch.ctxt.spsr_irq, spsr_irq); in __sysreg32_restore_state()
254 u64 spsr_irq; member