commit d230f665941921adeb621ac3f19a4d8e631bb8f1
author Andrew Walbran <qwandor@google.com> Mon Oct 07 18:03:36 2019 +0100
committer Andrew Walbran <qwandor@google.com> Wed Oct 09 10:55:03 2019 +0100
tree 98daa954c70e897e9cbe1dfcf3d58865964d3b7f
parent f18e63c17bf6a62e1ab0811c2d2352276d3e17b5

Implement SPCI_ID_GET, and a convenience wrapper for clients.

Change-Id: Ic85256bc71002380ff16ebc2af8206af00f66654

src/api.c

diff --git a/src/api.c b/src/api.c
index d11b305..5261688 100644
--- a/src/api.c
+++ b/src/api.c
@@ -210,9 +210,10 @@
 /**
  * Returns the ID of the VM.
  */
-spci_vm_id_t api_vm_get_id(const struct vcpu *current)
+struct spci_value api_spci_id_get(const struct vcpu *current)
 {
-	return current->vm->id;
+	return (struct spci_value){.func = SPCI_SUCCESS_32,
+				   .arg2 = current->vm->id};
 }
 
 /**