Use indexing in preference to pointer arithmetic.
Change-Id: Ia90714e95af1e545f626bd5b6c99e40622e37286
diff --git a/src/vm.c b/src/vm.c
index d03aba8..d2beeb0 100644
--- a/src/vm.c
+++ b/src/vm.c
@@ -16,7 +16,7 @@
/* Do basic initialization of vcpus. */
for (i = 0; i < vcpu_count; i++) {
- vcpu_init(vm->vcpus + i, vm);
+ vcpu_init(&vm->vcpus[i], vm);
}
return mm_ptable_init(&vm->ptable, 0);
@@ -25,7 +25,7 @@
/* TODO: Shall we use index or id here? */
void vm_start_vcpu(struct vm *vm, size_t index, ipaddr_t entry, size_t arg)
{
- struct vcpu *vcpu = vm->vcpus + index;
+ struct vcpu *vcpu = &vm->vcpus[index];
if (index < vm->vcpu_count) {
arch_regs_init(&vcpu->regs, entry, arg);
vcpu_on(vcpu);