(boot_script_read_file): Declare it.

1 files changed, 4 insertions, 0 deletions

diff --git a/boot/boot_script.h b/boot/boot_script.h
index 1166232b..4a09aba5 100644
--- a/boot/boot_script.h
+++ b/boot/boot_script.h
@@ -70,6 +70,10 @@ void boot_script_set_bootstrap_port (mach_port_t task, mach_port_t port);
 int boot_script_exec_cmd (mach_port_t task, char *path, int argc,
 			  char **argv, char *strings, int stringlen);
 
+/* The user must define this function.  Load the contents of FILE
+   into a fresh anonymous memory object and return the memory object port.  */
+mach_port_t boot_script_read_file (const char *file);
+
 /* Parse the command line LINE.  This causes the command line to be
    converted into an internal format.  Returns 0 for success, non-zero
    otherwise.