tree 03df9ad313ccf8be138050c0acaaff9703e6b4c7
parent 7f4f01d07e46a3307d10bd8100ee7918d2bf9873
author Austin Appleby <aappleby@google.com> 1650422321 -0700
committer Austin Appleby <aappleby@google.com> 1650665512 -0700

Make Tock's mailbox match the TLUL Mailbox spec & addressess.

Match register names, make Tock only use the "SEC" endpoint of the
mailbox, tweak how interrupts work due to the wonky "WTIRQ" interrupt
that doesn't actually work for sleeping until a mailbox is drained
(greater-than vs less-than issue in the spec). SEC will now busy-wait
if the outbox is full, which should not usually be a problem.

Change-Id: Ibc4c220c39cfc8395aa7948efdf6022a85738d51