Rename helper functions for getting VM ID and vCPU index.

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