Consistently use spci_vm_id_t for VM ID.
Before we had a mix of spci_vm_id_t, uint32_t and uint64_t.
Change-Id: I7b51e48490f0f54064e1121242052873bddad2b5
diff --git a/inc/vmapi/hf/abi.h b/inc/vmapi/hf/abi.h
index 55c7491..a625a8e 100644
--- a/inc/vmapi/hf/abi.h
+++ b/inc/vmapi/hf/abi.h
@@ -16,6 +16,7 @@
#pragma once
+#include "hf/spci.h"
#include "hf/types.h"
enum hf_vcpu_run_code {
@@ -88,11 +89,11 @@
enum hf_vcpu_run_code code;
union {
struct {
- uint32_t vm_id;
+ spci_vm_id_t vm_id;
uint16_t vcpu;
} wake_up;
struct {
- uint16_t vm_id;
+ spci_vm_id_t vm_id;
} message;
struct {
uint64_t ns;