From a1572e0ab0f5fab9a1f0185ded593bec811aa175 Mon Sep 17 00:00:00 2001
From: Alexey Zaytsev
Date: Sun, 2 Mar 2008 03:41:10 +0300
Subject: Modify gPXE core and drivers to work with the new timer subsystem

Signed-off-by: Alexey Zaytsev <alexey.zaytsev@gmail.com>
---
 src/hci/shell_banner.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/hci/shell_banner.c')

diff --git a/src/hci/shell_banner.c b/src/hci/shell_banner.c
index d313d4dd0..62da487c7 100644
--- a/src/hci/shell_banner.c
+++ b/src/hci/shell_banner.c
@@ -18,8 +18,8 @@
 
 #include <stdio.h>
 #include <console.h>
-#include <latch.h>
 #include <gpxe/features.h>
+#include <gpxe/timer.h>
 #include <gpxe/shell_banner.h>
 
 /** @file
-- 
cgit v1.2.3-55-g7522