From a09fa19c1f88c39de58a06b3b539afea4722cccb Mon Sep 17 00:00:00 2001
From: hsc <hsc@8c4709b5-6ec9-48aa-a5cd-a96041d1645a>
Date: Thu, 8 Mar 2012 22:54:08 +0000
Subject: [PATCH] disable_keyboard_interrupt compiles now

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@959 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
---
 core/SAL/bochs/disable_keyboard_interrupt.ah | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/SAL/bochs/disable_keyboard_interrupt.ah b/core/SAL/bochs/disable_keyboard_interrupt.ah
index ececcda9..94577dc6 100644
--- a/core/SAL/bochs/disable_keyboard_interrupt.ah
+++ b/core/SAL/bochs/disable_keyboard_interrupt.ah
@@ -5,6 +5,7 @@
 
 #ifdef CONFIG_DISABLE_KEYB_INTERRUPTS
 
+#include "../../../bochs/iodev/iodev.h"
 #include "../../../bochs/iodev/keyboard.h"
 
 aspect DisableKeybInt {