| #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 |