| 80 | } |
| 81 | |
| 82 | void exception_data_abort(uint32_t *regs) |
| 83 | { |
| 84 | printk(BIOS_ERR, "exception _data_abort\n"); |
| 85 | regs[15] -= 8; |
| 86 | print_regs(regs); |
| 87 | printk(BIOS_ERR, "DFAR = %#.8x\n", read_dfar()); |
| 88 | printk(BIOS_ERR, "DFSR = %#.8x\n", read_dfsr()); |
| 89 | printk(BIOS_ERR, "ADFSR = %#.8x\n", read_adfsr()); |
| 90 | dump_stack(regs[13], 512); |
| 91 | die("exception"); |
| 92 | } |
| 93 | |
| 94 | void exception_not_used(uint32_t *regs) |
| 95 | { |
nothing calls this directly
no test coverage detected