On 10/28/21 12:45 PM, Warner Losh wrote:
    (2) Changes to CPSR cannot be made manually; you need cpsr_write.


So would

+        cpsr_write(env, cpsr_read(env) | CPSR_T, CPSR_T, CPSRWriteByInstr);

cover what's needed here?

You can use

    cpsr_write(env, CPSR_T, CPSR_T, CPSRWriteByInstr);

because the mask takes care of not changing other bits.


r~

Reply via email to