1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 /***************************************************************************
4 * Copyright (C) 2008 by Dominic Rath *
5 * Dominic.Rath@gmx.de *
6 * Copyright (C) 2008 by Spencer Oliver *
7 * spen@spen-soft.co.uk *
8 ***************************************************************************/
13 void dbg_trace_point(unsigned long number
);
15 void dbg_write_u32(const unsigned long *val
, long len
);
16 void dbg_write_u16(const unsigned short *val
, long len
);
17 void dbg_write_u8(const unsigned char *val
, long len
);
19 void dbg_write_str(const char *msg
);
20 void dbg_write_char(char msg
);
22 #endif /* DCC_STDIO_H */