When processing interrupts for the MiB SPI (channel 1) I sometimes get a value that according to my reading of the TRM should be unused. This primarily happens after I have halted the processor for a while while debugging. Here are the details.
When I process an interrupt I read TGINTVECT0.INTVECT0 to see the cause of my interrupt. The only interrupts that I have enabled is TG0 and RXOVRNINT. After the core is halted and then released I sometimes read a value of 19 in TGINTVECT0.INTVECT0 which according to my read of the TRM (please correct me if this is wrong) should be unused. When I look at the value of SPIFLG I see that TXINTFLG, RXINTFLG, and RXOVRNINTFLG are all set. Empirically I have found that I can remove this "19" value by writing a 1 to SPIFLG.RXINTFLG. I am wondering if this is normal behavior, and if so, where is the value "19" defined in the TRM.