Use hf_vcpu_count_t for vCPU count where possible.

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