I am getting an exception sometimes in mailbox_pend in sysbios. Seems to be in the queue portion of it. Are there any specific rules as using this with timer interrupts or calling from different tasks. I thought it was thread safe but when I started to look into code I saw things about interrupt levels.