| 46 | }; |
| 47 | |
| 48 | static void dump_stack(uintptr_t addr, size_t bytes) |
| 49 | { |
| 50 | int i, j; |
| 51 | const int line = 8; |
| 52 | uint32_t *ptr = (uint32_t *)(addr & ~(line * sizeof(*ptr) - 1)); |
| 53 | |
| 54 | printf("Dumping stack:\n"); |
| 55 | for (i = bytes / sizeof(*ptr); i >= 0; i -= line) { |
| 56 | printf("%p: ", ptr + i); |
| 57 | for (j = i; j < i + line; j++) |
| 58 | printf("%08x ", *(ptr + j)); |
| 59 | printf("\n"); |
| 60 | } |
| 61 | } |
| 62 | |
| 63 | static void print_regs(void) |
| 64 | { |
no test coverage detected