Get the cpu IDs from the FDT.
These are the IDs used to identify cores in PSCI.
Change-Id: I9e88a6c69f963864591e39f0191cdd5ce824ce6d
diff --git a/inc/hf/arch/cpu.h b/inc/hf/arch/cpu.h
index bc3a583..77d93d2 100644
--- a/inc/hf/arch/cpu.h
+++ b/inc/hf/arch/cpu.h
@@ -38,8 +38,8 @@
* 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 vmid,
- paddr_t table, uint32_t index);
+void arch_regs_reset(struct arch_regs *r, bool is_primary, uint64_t vm_id,
+ uint64_t vcpu_id, paddr_t table);
/**
* Updates the given registers so that when a vcpu runs, it starts off at the