890 |
char *convert_to_ascii (char *buf, int c, ...); |
char *convert_to_ascii (char *buf, int c, ...); |
891 |
int get_cmdline (char *prompt, char *cmdline, int maxlen, |
int get_cmdline (char *prompt, char *cmdline, int maxlen, |
892 |
int echo_char, int history); |
int echo_char, int history); |
893 |
int substring (char *s1, char *s2); |
int substring (const char *s1, const char *s2); |
894 |
int nul_terminate (char *str); |
int nul_terminate (char *str); |
895 |
int get_based_digit (int c, int base); |
int get_based_digit (int c, int base); |
896 |
int safe_parse_maxint (char **str_ptr, int *myint_ptr); |
int safe_parse_maxint (char **str_ptr, int *myint_ptr); |
897 |
int memcheck (int start, int len); |
int memcheck (int start, int len); |
898 |
|
void grub_putstr (const char *str); |
899 |
|
|
900 |
#ifndef NO_DECOMPRESSION |
#ifndef NO_DECOMPRESSION |
901 |
/* Compression support. */ |
/* Compression support. */ |