1 #ifndef __DEBUG_H__ 2 #define __DEBUG_H__ 3 4 void bits(uint32_t reg); 5 void vbits(uint32_t val); 6 void vhex(uint32_t val); 7 void uart_write(char c); 8 void uart_write_string(const char *s); 9 10 #endif /* __DEBUG_H__ */