Searched refs:spsr_irq (Results 1 – 4 of 4) sorted by relevance
350 vcpu->arch.ctxt.spsr_irq = read_sysreg(spsr_irq); in __sysreg32_save_state()367 write_sysreg(vcpu->arch.ctxt.spsr_irq, spsr_irq); in __sysreg32_restore_state()
225 vcpu->arch.ctxt.spsr_irq = 0; in kvm_reset_vcpu()
164 return &vcpu->arch.ctxt.spsr_irq; in core_reg_addr()
696 u64 spsr_irq;672 u64 spsr_irq; global() member