Introduce spci_vm_count_t for count of VMs.
Change-Id: I4eae492136019c6a39b2d06b59793f021b4e07bb
diff --git a/inc/vmapi/hf/spci.h b/inc/vmapi/hf/spci.h
index 523c4ae..c387e62 100644
--- a/inc/vmapi/hf/spci.h
+++ b/inc/vmapi/hf/spci.h
@@ -60,8 +60,15 @@
/* clang-format on */
+/** The ID of a VM. These are assigned sequentially. */
typedef uint16_t spci_vm_id_t;
+/**
+ * A count of VMs. This has the same range as the VM IDs but we give it a
+ * different name to make the different semantics clear.
+ */
+typedef spci_vm_id_t spci_vm_count_t;
+
/** SPCI common message header. */
struct spci_message {
/*