-#include "hw_cpu.h" /* for CLOCK_FREQ */
-#include "hw_ser.h" /* Required for bus macros overrides */
+#include "hw/hw_cpu.h" /* for CLOCK_FREQ */
+#include "hw/hw_ser.h" /* Required for bus macros overrides */
*
* HACK: if we don't set TXEN, kdbg disables the transmitter
* after each output statement until the serial driver
*
* HACK: if we don't set TXEN, kdbg disables the transmitter
* after each output statement until the serial driver
*
* HACK: if we don't set TXEN, kdbg disables the transmitter
* after each output statement until the serial driver
*
* HACK: if we don't set TXEN, kdbg disables the transmitter
* after each output statement until the serial driver
#define KDBG_WAIT_READY() do { /*nop*/ } while(0)
#define KDBG_WRITE_CHAR(c) _kdebug_bitbang_putchar((c))
#define KDBG_MASK_IRQ(old) do { IRQ_SAVE_DISABLE((old)); } while(0)
#define KDBG_WAIT_READY() do { /*nop*/ } while(0)
#define KDBG_WRITE_CHAR(c) _kdebug_bitbang_putchar((c))
#define KDBG_MASK_IRQ(old) do { IRQ_SAVE_DISABLE((old)); } while(0)