| #include "misc.h" |
| |
| #ifdef CONFIG_EARLY_PRINTK |
| |
| 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" |
| int cmdline_find_option(const char *option, char *buffer, int bufsize) |
| { |
| return __cmdline_find_option(real_mode->hdr.cmd_line_ptr, option, buffer, bufsize); |
| } |
| int cmdline_find_option_bool(const char *option) |
| { |
| return __cmdline_find_option_bool(real_mode->hdr.cmd_line_ptr, option); |
| } |
| |
| #endif |
