tree 5daaed6fba6e1139466d32f8282afe0d40f05cb8
parent 9ed8da5f8d049b4632034044cf0a0d1e15435695
author Andrew Walbran <qwandor@google.com> 1544794579 +0000
committer Andrew Walbran <qwandor@google.com> 1545128553 +0000

Update Linux driver for interrupt injection.

Update Linux driver to kick process when injecting an interrupt to a vCPU
running on a different physical CPU.

Bug: 117270899
Change-Id: I6910e8e5d0de8da1c204715c42e7be176d3d4083