2010-08-02 19:21:22 -04:00
|
|
|
#include "misc.h"
|
|
|
|
|
2012-07-19 21:04:42 -04:00
|
|
|
#ifdef CONFIG_EARLY_PRINTK
|
|
|
|
|
2010-08-02 19:21:22 -04:00
|
|
|
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);
|
|
|
|
}
|
2012-07-19 21:04:42 -04:00
|
|
|
|
|
|
|
#endif
|