Rev 2465 | Rev 3094 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2465 | Rev 2772 | ||
|---|---|---|---|
| Line 171... | Line 171... | ||
| 171 | * @param exc_no Exception number. |
171 | * @param exc_no Exception number. |
| 172 | * @param istate CPU state when exception occured. |
172 | * @param istate CPU state when exception occured. |
| 173 | */ |
173 | */ |
| 174 | void data_abort(int exc_no, istate_t *istate) |
174 | void data_abort(int exc_no, istate_t *istate) |
| 175 | { |
175 | { |
| - | 176 | fault_status_t fsr __attribute__ ((unused)) = |
|
| 176 | fault_status_t fsr = read_fault_status_register(); |
177 | read_fault_status_register(); |
| 177 | uintptr_t badvaddr = read_fault_address_register(); |
178 | uintptr_t badvaddr = read_fault_address_register(); |
| 178 | 179 | ||
| 179 | pf_access_t access = get_memory_access_type(istate->pc, badvaddr); |
180 | pf_access_t access = get_memory_access_type(istate->pc, badvaddr); |
| 180 | 181 | ||
| 181 | int ret = as_page_fault(badvaddr, access, istate); |
182 | int ret = as_page_fault(badvaddr, access, istate); |