| commit | e1310df23ece3a29043383d2ea7b5874fae63d8f | [log] [tgz] |
|---|---|---|
| author | Andrew Walbran <qwandor@google.com> | Mon Apr 29 17:28:28 2019 +0100 |
| committer | Andrew Walbran <qwandor@google.com> | Thu May 09 11:43:26 2019 +0100 |
| tree | 58f9bad72824b40aeeb6a31da48aaeb41cbd248e | |
| parent | b58f899cc86a23b8e7b06faabf853b50f3982033 [diff] [blame] |
Introduce vm_get_vcpu helper function. Change-Id: I46aef6d240a74357b96b6677d1ec4c8386076f57
diff --git a/src/main.c b/src/main.c index 6263c32..bd4c319 100644 --- a/src/main.c +++ b/src/main.c
@@ -146,7 +146,7 @@ panic("mm_cpu_init failed"); } - vcpu = &vm_get(HF_PRIMARY_VM_ID)->vcpus[cpu_index(c)]; + vcpu = vm_get_vcpu(vm_get(HF_PRIMARY_VM_ID), cpu_index(c)); vm = vcpu->vm; vcpu->cpu = c;