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. */