tree ca0ef2366755b347d775c0d47fc7c94a68c5a333
parent bb7ae41a9456dc4e051468e61320cac0d5248f87
author Andrew Scull <ascull@google.com> 1538734284 +0100
committer Andrew Scull <ascull@google.com> 1539099372 +0100

Conform to the mailbox API.

Messages can be sent between any VMs so the scheduler needs to be able
to wake vcpus from any VM.

Bug: 116705004
Change-Id: I71ae829087849dcc515a7e5f21a335d360050e30