From 49378220c5439a7f6487e80913babf83eb61cd28 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@nicta.com.au>
Date: Thu, 27 Nov 2014 19:40:16 +1100
Subject: [PATCH] trivial: once more with the style thing
---
src/arch/arm/kernel/vspace.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/arch/arm/kernel/vspace.c b/src/arch/arm/kernel/vspace.c
index cb0e260c1..e0c481b33 100644
--- a/src/arch/arm/kernel/vspace.c
+++ b/src/arch/arm/kernel/vspace.c
@@ -1312,7 +1312,7 @@ createSafeMappingEntries_PDE
switch (frameSize) {
- /* PDE mappings */
+ /* PDE mappings */
case ARMSection:
ret.pde_entries.base = lookupPDSlot(pd, vaddr);
ret.pde_entries.length = 1;
--
GitLab