Call spci_run rather than hf_vcpu_run.

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