Fix comment style.
Change-Id: Ibb87a697e83f69be8ad305f6e940b335043e46b9
diff --git a/src/mm.c b/src/mm.c
index 8af98a4..14bbac7 100644
--- a/src/mm.c
+++ b/src/mm.c
@@ -34,8 +34,10 @@
/* The type of addresses stored in the page table. */
typedef uintvaddr_t ptable_addr_t;
-/* For stage 2, the input is an intermediate physical addresses rather than a
- * virtual address so: */
+/*
+ * For stage 2, the input is an intermediate physical addresses rather than a
+ * virtual address so:
+ */
static_assert(
sizeof(ptable_addr_t) == sizeof(uintpaddr_t),
"Currently, the same code manages the stage 1 and stage 2 page tables "