tree 691a60b81b1a2770af6d8f83ea2263bf7807dd16
parent 7586e04fc9a264c30d44ecb8e540daf5e2b94467
author Andrew Walbran <qwandor@google.com> 1582038377 +0000
committer Andrew Walbran <qwandor@google.com> 1582121515 +0000

Set correct mailbox state when sending messages to TEE.

This fixes a bug introduced in
https://hafnium-review.googlesource.com/c/hafnium/+/8226.

Bug: 132429380
Change-Id: I86ae9147664fa9ccc6858dd2eb73d7e8de7b59ff