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/hf/arch/cpu.h b/inc/hf/arch/cpu.h
index ccacbbb..384da06 100644
--- a/inc/hf/arch/cpu.h
+++ b/inc/hf/arch/cpu.h
@@ -24,6 +24,8 @@
#include "hf/addr.h"
+#include "vmapi/hf/spci.h"
+
/**
* Disables interrutps.
*/
@@ -38,7 +40,7 @@
* Reset the register values other than the PC and argument which are set with
* `arch_regs_set_pc_arg()`.
*/
-void arch_regs_reset(struct arch_regs *r, bool is_primary, uint64_t vm_id,
+void arch_regs_reset(struct arch_regs *r, bool is_primary, spci_vm_id_t vm_id,
uint64_t vcpu_id, paddr_t table);
/**