| commit | b037d5b909c679b210336e852d0141e5df539eec | [log] [tgz] |
|---|---|---|
| author | Andrew Walbran <qwandor@google.com> | Tue Jun 25 17:19:41 2019 +0100 |
| committer | Andrew Walbran <qwandor@google.com> | Thu Jun 27 18:18:03 2019 +0100 |
| tree | 95be8acbf2191877cce8c8be5dbb0ae9b0bdc7cd | |
| parent | 52d9967781b9a15df54eb5cd1c4e873a471be86a [diff] [blame] |
Introduce typedef for vCPU index. Change-Id: I51194706edb86811487f2a22b3bda5405e605b5e
diff --git a/inc/hf/vm.h b/inc/hf/vm.h index 4bebc20..bd8a905 100644 --- a/inc/hf/vm.h +++ b/inc/hf/vm.h
@@ -102,4 +102,4 @@ struct vm *vm_find(spci_vm_id_t id); struct vm_locked vm_lock(struct vm *vm); void vm_unlock(struct vm_locked *locked); -struct vcpu *vm_get_vcpu(struct vm *vm, uint32_t vcpu_index); +struct vcpu *vm_get_vcpu(struct vm *vm, spci_vcpu_index_t vcpu_index);