Searched refs:spsr_irq (Results 1 – 6 of 6) sorted by relevance
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()
78 unsigned long spsr_irq; member170 mode_regs.sp_irq, mode_regs.lr_irq, mode_regs.spsr_irq); in fiq_debugger_dump_allregs()
141 READ_SPECIAL_REG(spsr_irq)); in fiq_debugger_dump_allregs()
270 vcpu->arch.ctxt.spsr_irq = 0; in kvm_reset_vcpu()
146 return &vcpu->arch.ctxt.spsr_irq; in core_reg_addr()
224 u64 spsr_irq; member