nonstdio.h

 1/* SPDX-License-Identifier: GPL-2.0 */
 2#define EOF	(-1)
 3
 4extern void xmon_set_pagination_lpp(unsigned long lpp);
 5extern void xmon_start_pagination(void);
 6extern void xmon_end_pagination(void);
 7extern int xmon_putchar(int c);
 8extern void xmon_puts(const char *);
 9extern char *xmon_gets(char *, int);
10extern __printf(1, 2) void xmon_printf(const char *fmt, ...);
11
12#define printf	xmon_printf
13#define putchar	xmon_putchar