From 764e2cc68c683c4fe4119099d2618871f1224e08 Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Thu, 24 Jul 2008 20:00:43 +0100
Subject: [PATCH] [cmdline] Minor tidy-ups to shell_banner.c

---
 src/hci/shell_banner.c | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/hci/shell_banner.c b/src/hci/shell_banner.c
index f96f2a50..3271c483 100644
--- a/src/hci/shell_banner.c
+++ b/src/hci/shell_banner.c
@@ -20,6 +20,7 @@
 #include <console.h>
 #include <unistd.h>
 #include <config/general.h>
+#include <gpxe/keys.h>
 #include <gpxe/shell_banner.h>
 
 /** @file
@@ -34,22 +35,21 @@
  * @ret	enter_shell		User wants to enter shell
  */
 int shell_banner ( void ) {
-	int wait_count = 0;
 	int enter_shell = 0;
+	int wait_count;
 	int key;
 
 	printf ( "\nPress Ctrl-B for the gPXE command line..." );
 
 	/* Wait for key */
-	while ( wait_count < BANNER_TIMEOUT ) {
+	for ( wait_count = 0 ; wait_count < BANNER_TIMEOUT ; wait_count++ ) {
 		if ( iskey() ) {
 			key = getchar();
-			if ( key == 0x02 /* Ctrl-B */ )
+			if ( key == CTRL_B )
 				enter_shell = 1;
 			break;
 		}
 		mdelay(100);
-		wait_count++;
 	}
 
 	/* Clear the "Press Ctrl-B" line */