2018-12-28 10:30:39 +00:00
|
|
|
#ifndef DBG_H
|
|
|
|
|
#define DBG_H
|
2018-12-30 21:44:14 +00:00
|
|
|
#include <stdint.h>
|
2018-12-28 10:30:39 +00:00
|
|
|
|
|
|
|
|
extern "C" int printk(const char* msg);
|
|
|
|
|
extern "C" int printkl(const char* msg);
|
2018-12-30 21:44:14 +00:00
|
|
|
extern "C" const char* itoa(uint32_t n);
|
2018-12-28 10:30:39 +00:00
|
|
|
|
|
|
|
|
namespace dbg {
|
|
|
|
|
|
|
|
|
|
char* const UART_RBR = (char* const)0x01c28000;
|
|
|
|
|
char* const UART_THR = (char* const)0x01c28000;
|
|
|
|
|
char* const UART_IER = (char* const)0x01c28004;
|
|
|
|
|
char* const UART_LSR = (char* const)0x01c28014;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#endif
|
