diff options
Diffstat (limited to 'boot/cmdline.h')
| -rw-r--r-- | boot/cmdline.h | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/boot/cmdline.h b/boot/cmdline.h deleted file mode 100644 index aa5da43..0000000 --- a/boot/cmdline.h +++ /dev/null @@ -1,9 +0,0 @@ -#ifndef _JOVE_BOOT_CMDLINE_H -#define _JOVE_BOOT_CMDLINE_H 1 - -void cmdline_init(char *cmdline); - -void cmdline_print(void); -const char *cmdline_getarg(const char *key); - -#endif |