Add support for multiple host CPUs.
Change-Id: I0fd2fd85732e8e7beeacc595a9ca92c3cd98e73a
diff --git a/src/api.c b/src/api.c
index ae429f0..93b14c2 100644
--- a/src/api.c
+++ b/src/api.c
@@ -94,7 +94,7 @@
}
/**
- * Puts current vcpu in wait for interrupt mode, and returns to the primary
+ * Puts the current vcpu in wait for interrupt mode, and returns to the primary
* vm.
*/
struct vcpu *api_wait_for_interrupt(void)
@@ -132,7 +132,7 @@
/*
* Check that both pages are acessible from the VM, i.e., ensure that
- * the caller isn't try to use another VM's memory.
+ * the caller isn't trying to use another VM's memory.
*/
if (!mm_ptable_is_mapped(&vm->ptable, recv, 0) ||
!mm_ptable_is_mapped(&vm->ptable, send, 0)) {