From a99d8b562d74e3b08c88d52433914d9c1c6bd362 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Thu, 6 Nov 2014 13:59:59 +0100
Subject: boot: remove unused function `boot_script_read_file'

The unused function `boot_script_read_file' requires access to the
default pager, which is privileged.

* boot/boot.c (defpager): Remove now unused variable.
(boot_script_read_file): Remove unused function.
(main): Do not acquire port to the default pager.
* boot/boot_script.h (boot_script_read_file): Remove declaration.
---
 boot/boot_script.h | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'boot/boot_script.h')

diff --git a/boot/boot_script.h b/boot/boot_script.h
index 62458693..da52e6f0 100644
--- a/boot/boot_script.h
+++ b/boot/boot_script.h
@@ -69,10 +69,6 @@ int boot_script_exec_cmd (void *hook,
 			  task_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);
-
 /* The user must define this functions to perform the corresponding
    Mach task manipulations.  */
 int boot_script_task_create (struct cmd *); /* task_create + task_suspend */
-- 
cgit v1.2.3