diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-06 13:59:59 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-21 05:55:41 +0100 |
| commit | a99d8b562d74e3b08c88d52433914d9c1c6bd362 (patch) | |
| tree | cbc77993e3776cccfdd394bb97db9c47ab368732 /boot/boot_script.h | |
| parent | 5133c8eb5d6564d037c9c7312ee4506c0d2e49a7 (diff) | |
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.
Diffstat (limited to 'boot/boot_script.h')
| -rw-r--r-- | boot/boot_script.h | 4 |
1 files changed, 0 insertions, 4 deletions
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 */ |