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/vmapi/hf/abi.h b/inc/vmapi/hf/abi.h index a625a8e..538a42e 100644 --- a/inc/vmapi/hf/abi.h +++ b/inc/vmapi/hf/abi.h
@@ -90,7 +90,7 @@ union { struct { spci_vm_id_t vm_id; - uint16_t vcpu; + spci_vcpu_index_t vcpu; } wake_up; struct { spci_vm_id_t vm_id;