tree bacc4e61bd1ace31cd14b0bc2fab40456825ac36
parent 3d72005889150e318fbd2c434d1edda9ae5b34bb
author Andrew Walbran <qwandor@google.com> 1544712079 +0000
committer Andrew Walbran <qwandor@google.com> 1545227743 +0000

Set or clear VI bit in hvc_handler just before returning, using count.

A count of enabled/pending interrupts is kept for this purpose whenever
the enabled and pending bits are updated. This handles the case where the
target vCPU was already running on a different physical CPU when an
interrupt was injected and so it had to be kicked by the primary.

Also add comments explaining what happens in case that the target of an
injected interrupt is already running on a different physical CPU.

Also also, add a test for the case of injecting an interrupt ID which is
not enabled, then enabling it later.

Bug: 117270899
Change-Id: I200f547a5a72332a5e24b5109a3e6e7b66c0b59e