7 /* Temporary libc functions, which can later be
8 * replaced by a *real* library */
12 /* Still kind of a debug function */
13 void addrtohex(uint32_t addr) {
14 char tmpbuf[6] = {'A', 'B', 'C', 'D', 'E', 'F'};
15 memset(&hexbuf, 0, sizeof(uint32_t) * 8);
17 for (int i = 0; i < 8 ; i++) {
21 if ((tmp >= 0) && tmp < 10) {
22 hexbuf[i] = (char) tmp + 48;
25 hexbuf[i] = tmpbuf[tmp - 10];
29 //uart_puts("ADDRESS: 0x");
30 for (int i = 7; i >= 0; i--) {