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 switch (spsr_idx) { in vcpu_read_spsr32()165 switch (spsr_idx) { in vcpu_read_spsr32()183 int spsr_idx = vcpu_spsr32_mode(vcpu); in vcpu_write_spsr32() local186 switch (spsr_idx) { in vcpu_write_spsr32()207 switch (spsr_idx) { in vcpu_write_spsr32()
