Orange Pi5 kernel

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