Use spci_vm_id_t and spci_vm_count_t in more places.

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