I have RTX running multiple parallel threads. I have two separate threads contending to talk to the DW chip at the same time, and they are interleaving nicely without stepping on each other. This is an arcane test, but it shows that I have the mutex situation sussed out at last (I hope). With luck this means that I should be able to service DW "packet received" interrupts while there is other traffic on the SPI.