tree 7ef54d12de7314f1340a89bff753e23640f4650b
parent 0d7a068dab8b61810d12286bfcd3f82b9ec36ca3
author Andrew Walbran <qwandor@google.com> 1544031342 +0000
committer Andrew Walbran <qwandor@google.com> 1544115895 +0000

Fix state on blocking mailbox_receive.

State was being set to vcpu_state_blocked_interrupt by
api_wait_for_interrupt. It should remain vcpu_state_blocked_mailbox.

Change-Id: I9289f93fdf4c674a701b79b21bb53f29385237b0