Consistently use spci_vm_id_t for VM ID.

Change-Id: I1ce2b315e025478bc780a57e56f12eead932cb2e
1 file changed
tree: 3c53c15aa1e9f8c2bb3573372c562b3163a96d3f
  1. .gitignore
  2. AUTHORS
  3. LICENSE
  4. Makefile
  5. hf_call.S
  6. main.c