Fix comment typos.
Change-Id: I8d101c18f80c51f7021929ae103f8691427753a4
diff --git a/inc/hf/mm.h b/inc/hf/mm.h
index aebe77d..f7c4d9d 100644
--- a/inc/hf/mm.h
+++ b/inc/hf/mm.h
@@ -86,7 +86,7 @@
paddr_t root;
};
-/** Represents the curretly locked stage-1 page table of the hypervisor. */
+/** Represents the currently locked stage-1 page table of the hypervisor. */
struct mm_stage1_locked {
struct mm_ptable *ptable;
};
diff --git a/src/api.c b/src/api.c
index 3726107..9b39b98 100644
--- a/src/api.c
+++ b/src/api.c
@@ -36,7 +36,7 @@
* acquisition of locks held concurrently by the same physical CPU. Our current
* ordering requirements are as follows:
*
- * vm::stage1_locked -> vcpu::stage1_locked -> mm_stage1_lock
+ * vm::lock -> vcpu::lock -> mm_stage1_lock
*
* Locks of the same kind require the stage1_locked of lowest address to be
* locked first, see `sl_lock_both()`.
