| 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/spci.h b/inc/vmapi/hf/spci.h index c387e62..25e8e83 100644 --- a/inc/vmapi/hf/spci.h +++ b/inc/vmapi/hf/spci.h
@@ -68,6 +68,7 @@ * different name to make the different semantics clear. */ typedef spci_vm_id_t spci_vm_count_t; +typedef uint16_t spci_vcpu_index_t; /** SPCI common message header. */ struct spci_message {