tree f0117450bba45b3257a7796f87916803f98168c3
parent 3b4db942309893d91fc6659de51c6cebfa40b03d
author Andrew Walbran <qwandor@google.com> 1572617687 +0000
committer Andrew Walbran <qwandor@google.com> 1572625770 +0000

Call spci_run rather than hf_vcpu_run.

Bug: 141469322
Change-Id: I277abcadf383e153c640288aa78a0b734b5009e4