Incorporate feedback on notification patches.
Change-Id: I15642cb739fae98de6fcd01b215821ace2b082ab
diff --git a/src/vm.c b/src/vm.c
index 9bc616f..38a9328 100644
--- a/src/vm.c
+++ b/src/vm.c
@@ -52,9 +52,9 @@
/* Initialise waiter entries. */
for (i = 0; i < MAX_VMS; i++) {
- vm->wentry[i].waiting_vm = vm;
- list_init(&vm->wentry[i].wait_links);
- list_init(&vm->wentry[i].ready_links);
+ vm->wait_entries[i].waiting_vm = vm;
+ list_init(&vm->wait_entries[i].wait_links);
+ list_init(&vm->wait_entries[i].ready_links);
}
/* Do basic initialization of vcpus. */