tree a4fcec99dd82f77b56d076a9ebdcab4857d0666f
parent 7fe6233a5126ef725f065511480a17c8f93cf16d
author Andrew Walbran <qwandor@google.com> 1544794542 +0000
committer Andrew Walbran <qwandor@google.com> 1545054365 +0000

Kick process if we try to wake up a vCPU which is already running.

This is necessary for interrupt injection to work to a vCPU which is
running on a different physical CPU.

Bug: 117270899
Change-Id: Icfd1105d3d3b2105300f8b8620a2c0fceac655bc