| 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/src/arch/aarch64/hypervisor/handler.c b/src/arch/aarch64/hypervisor/handler.c index 7943401..04223db 100644 --- a/src/arch/aarch64/hypervisor/handler.c +++ b/src/arch/aarch64/hypervisor/handler.c
@@ -134,7 +134,7 @@ void maybe_invalidate_tlb(struct vcpu *vcpu) { size_t current_cpu_index = cpu_index(vcpu->cpu); - size_t new_vcpu_index = vcpu_index(vcpu); + spci_vcpu_index_t new_vcpu_index = vcpu_index(vcpu); if (vcpu->vm->arch.last_vcpu_on_cpu[current_cpu_index] != new_vcpu_index) {