tree 1bb14ecc00ba3a1b9b32ef243985be43a6892030
parent c34c7b2199c3a126ce47e3176d89a3fa679aa5da
author Andrew Walbran <qwandor@google.com> 1582889597 +0000
committer Andrew Walbran <qwandor@google.com> 1582889641 +0000

Set correct mailbox state after sending messages to TEE.

https://hafnium-review.googlesource.com/c/hafnium/+/8840 was still
wrong.

Bug: 132429380
Change-Id: Ife266a3bc4e962e50d07d3dbd1eb81cad867c040