Searched refs:spsr_idx (Results 1 – 1 of 1) sorted by relevance
159 int spsr_idx = vcpu_spsr32_mode(vcpu); in vcpu_read_spsr32() local162 return vcpu_gp_regs(vcpu)->spsr[spsr_idx]; in vcpu_read_spsr32()164 switch (spsr_idx) { in vcpu_read_spsr32()182 int spsr_idx = vcpu_spsr32_mode(vcpu); in vcpu_write_spsr32() local185 vcpu_gp_regs(vcpu)->spsr[spsr_idx] = v; in vcpu_write_spsr32()189 switch (spsr_idx) { in vcpu_write_spsr32()
