Call spci_run rather than hf_vcpu_run.

Bug: 141469322
Change-Id: I277abcadf383e153c640288aa78a0b734b5009e4
1 file changed
tree: f0117450bba45b3257a7796f87916803f98168c3
  1. inc/
  2. .gitignore
  3. AUTHORS
  4. hf_call.c
  5. LICENSE
  6. main.c
  7. Makefile