Rename helper functions for getting VM ID and vCPU index.

Change-Id: Ibdbdafdbf90f68c2fe86f103e09059b0607e3ad5
1 file changed
tree: 41219a766f2bb777cf5f43f8f50b5e35fef61c6a
  1. .gitignore
  2. AUTHORS
  3. LICENSE
  4. Makefile
  5. hf_call.c
  6. inc/
  7. main.c