*
****************************************************************************/
-#include "x86emu/x86emui.h"
#include <stdarg.h>
+#if defined(CONFIG_BIOSEMU)
+
+#include "x86emu/x86emui.h"
+
/*----------------------------- Implementation ----------------------------*/
#ifdef DEBUG
printk("NC ");
printk("\n");
}
+
+#endif