tree 253b663f3ba822b6e324a76fa83b4aced1ba05fa
parent e77075d88bdd505dbb2e5c26d3f85eba939053db
author Andrew Walbran <qwandor@google.com> 1572867762 +0000
committer Andrew Walbran <qwandor@google.com> 1572968099 +0000

Add helper functions for VM/vCPU IDs in SPCI calls.

This also changes all calls to encode VM IDs in high bits, vCPU index in
low bits. This is inconsistent with the current spec but is what we
expect it to be corrected to in the next draft.

Change-Id: I3da130b9070c6c43856509ba80b532e7e8c263e0