| #include "misc.h" | |
| #if CONFIG_EARLY_PRINTK || CONFIG_RANDOMIZE_BASE | |
| static unsigned long fs; | |
| static inline void set_fs(unsigned long seg) | |
| { | |
| fs = seg << 4; /* shift it back */ | |
| } | |
| typedef unsigned long addr_t; | |
| static inline char rdfs8(addr_t addr) | |
| { | |
| return *((char *)(fs + addr)); | |
| } | |
| #include "../cmdline.c" | |
| static unsigned long get_cmd_line_ptr(void) | |
| { | |
| unsigned long cmd_line_ptr = boot_params->hdr.cmd_line_ptr; | |
| cmd_line_ptr |= (u64)boot_params->ext_cmd_line_ptr << 32; | |
| return cmd_line_ptr; | |
| } | |
| int cmdline_find_option(const char *option, char *buffer, int bufsize) | |
| { | |
| return __cmdline_find_option(get_cmd_line_ptr(), option, buffer, bufsize); | |
| } | |
| int cmdline_find_option_bool(const char *option) | |
| { | |
| return __cmdline_find_option_bool(get_cmd_line_ptr(), option); | |
| } | |
| #endif |