| * (C) Copyright 2002-2007 |
| * Detlev Zundel, dzu@denx.de. |
| * SPDX-License-Identifier: GPL-2.0+ |
| #define LOGBUFF_MAGIC 0xc0de4ced /* Forced by code, eh! */ |
| #define LOGBUFF_LEN (16384) /* Must be 16k right now */ |
| #define LOGBUFF_MASK (LOGBUFF_LEN-1) |
| #define LOGBUFF_OVERHEAD (4096) /* Logbuffer overhead for extra info */ |
| #define LOGBUFF_RESERVE (LOGBUFF_LEN+LOGBUFF_OVERHEAD) |
| /* The mapping used here has to be the same as in setup_ext_logbuff () |
| in linux/kernel/printk */ |
| int drv_logbuff_init (void); |
| void logbuff_init_ptrs (void); |
| void logbuff_log(char *msg); |
| void logbuff_reset (void); |
| unsigned long logbuffer_base (void); |
| #endif /* CONFIG_LOGBUFFER */ |