Searched refs:spsr_idx (Results 1 – 1 of 1) sorted by relevance
148 int spsr_idx = vcpu_spsr32_mode(vcpu); in vcpu_read_spsr32() local151 return vcpu_gp_regs(vcpu)->spsr[spsr_idx]; in vcpu_read_spsr32()153 switch (spsr_idx) { in vcpu_read_spsr32()171 int spsr_idx = vcpu_spsr32_mode(vcpu); in vcpu_write_spsr32() local174 vcpu_gp_regs(vcpu)->spsr[spsr_idx] = v; in vcpu_write_spsr32()178 switch (spsr_idx) { in vcpu_write_spsr32()
