Add header for pxe_boot()

diff --git a/src/arch/i386/include/pxe_call.h b/src/arch/i386/include/pxe_call.h
new file mode 100644 (file)
index 0000000..84893b5
--- /dev/null
+++ b/src/arch/i386/include/pxe_call.h
@@ -0,0 +1,11 @@
+#ifndef _PXE_CALL_H
+#define _PXE_CALL_H
+
+/** @file
+ *
+ * PXE API entry point
+ */
+
+extern int pxe_boot ( void );
+
+#endif /* _PXE_CALL_H */

diff --git a/src/arch/i386/interface/pxe/pxe_call.c b/src/arch/i386/interface/pxe/pxe_call.c
index df32dd7..d39c65a 100644 (file)
--- a/src/arch/i386/interface/pxe/pxe_call.c
+++ b/src/arch/i386/interface/pxe/pxe_call.c
@@ -20,6 +20,7 @@
 #include <registers.h>
 #include <biosint.h>
 #include <pxe.h>
+#include <pxe_call.h>
 
 /** @file
  *