| commit | 4d3fa28946104771aa6d9d7357ceae82bbca2996 | [log] [tgz] |
|---|---|---|
| author | Andrew Walbran <qwandor@google.com> | Wed Jun 26 13:31:15 2019 +0100 |
| committer | Andrew Walbran <qwandor@google.com> | Tue Jul 09 13:11:14 2019 +0100 |
| tree | c165e3b49dbc0b9f10174e1af6fa167ab6c551ce | |
| parent | 4bdd6879116b88680758edb6c157f3395c21e980 [diff] [blame] |
Introduce typedef for [v]CPU IDs. Change-Id: I99988988d8ac57c688c5fd52f072357202255f18
diff --git a/inc/hf/arch/cpu.h b/inc/hf/arch/cpu.h index 384da06..f244a3c 100644 --- a/inc/hf/arch/cpu.h +++ b/inc/hf/arch/cpu.h
@@ -41,7 +41,7 @@ * `arch_regs_set_pc_arg()`. */ void arch_regs_reset(struct arch_regs *r, bool is_primary, spci_vm_id_t vm_id, - uint64_t vcpu_id, paddr_t table); + cpu_id_t vcpu_id, paddr_t table); /** * Updates the given registers so that when a vcpu runs, it starts off at the