tree ef5d3da375f62f9c5020bd6cbad905aa8f338cf9
parent 27faff3f15708422f24623834af951f5ebe265e6
author Andrew Walbran <qwandor@google.com> 1572608890 +0000
committer Andrew Walbran <qwandor@google.com> 1572966469 +0000

Call spci_run rather than hf_vcpu_run in kernel driver.

Bug: 141469322
Change-Id: I8e5cd93e1453e936a2c67a310530599accd3b3aa