| 17 | void exception_fiq(uint32_t *regs); |
| 18 | |
| 19 | static void dump_stack(uintptr_t addr, size_t bytes) |
| 20 | { |
| 21 | int i, j; |
| 22 | const int line = 8; |
| 23 | uint32_t *ptr = (uint32_t *)(addr & ~(line * sizeof(*ptr) - 1)); |
| 24 | |
| 25 | printk(BIOS_ERR, "Dumping stack:\n"); |
| 26 | for (i = bytes / sizeof(*ptr); i >= 0; i -= line) { |
| 27 | printk(BIOS_ERR, "%p: ", ptr + i); |
| 28 | for (j = i; j < i + line; j++) |
| 29 | printk(BIOS_ERR, "%08x ", *(ptr + j)); |
| 30 | printk(BIOS_ERR, "\n"); |
| 31 | } |
| 32 | } |
| 33 | |
| 34 | static void print_regs(uint32_t *regs) |
| 35 | { |
no test coverage detected