tree 08d896155498371c68f553bb1d674edee2750bfd
parent df6478f9669355e266cfe1a37f21ee0ef4cf5497
author Andrew Scull <ascull@google.com> 1549383095 +0000
committer Andrew Scull <ascull@google.com> 1553512023 +0000

Scheduler selects vCPU to receive message.

This policy has been exported from the hypervisor. The message is
delivered to any waiting vCPU if there are any and, if not, the first
vCPU is interrupted.

Change-Id: I9569511346c63a786d3e99bdee78bb7022522ad1