| commit | 0973a2ec678062affef66303b1e057b7c0be555e | [log] [tgz] |
|---|---|---|
| author | Andrew Scull <ascull@google.com> | Fri Oct 05 11:11:24 2018 +0100 |
| committer | Andrew Scull <ascull@google.com> | Tue Oct 09 16:36:12 2018 +0100 |
| tree | ca0ef2366755b347d775c0d47fc7c94a68c5a333 | |
| parent | bb7ae41a9456dc4e051468e61320cac0d5248f87 [diff] |
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