From b18263192f558e515d35ec5ec59cf3ac72ce24a3 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Thu, 15 Jun 2017 15:43:19 +0200
Subject: [PATCH] set cmdline to 0 if a valid cmdline isn't available

---
 arch/x86/mm/page.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arch/x86/mm/page.c b/arch/x86/mm/page.c
index a21b16045..f381daf46 100644
--- a/arch/x86/mm/page.c
+++ b/arch/x86/mm/page.c
@@ -334,7 +334,7 @@ int page_init(void)
 			page_map(((size_t) cmdline + i) & PAGE_MASK, ((size_t) cmdline + i) & PAGE_MASK, 1, PG_GLOBAL|PG_RW|PG_PRESENT);
 			i += PAGE_SIZE;
 		}
-	}
+	} else cmdline = 0;
 
 	/* Replace default pagefault handler */
 	irq_uninstall_handler(14);