Rev 2465 | Rev 3788 | 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); |