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
14

source code of linux/arch/powerpc/xmon/nonstdio.h