| /kernel/trunk/arch/ppc32/src/mm/page.c |
|---|
| 30,7 → 30,6 |
| #include <genarch/mm/page_pt.h> |
| #include <arch/mm/frame.h> |
| #include <arch/asm.h> |
| #include <arch/interrupt.h> |
| #include <mm/frame.h> |
| #include <mm/page.h> |
| #include <mm/as.h> |
| 188,7 → 187,7 |
| * @param istate Interrupted register context. |
| * |
| */ |
| void pht_refill(int n, istate_t *istate) |
| void pht_refill(bool data, istate_t *istate) |
| { |
| __address badvaddr; |
| pte_t *pte; |
| 204,7 → 203,7 |
| lock = true; |
| } |
| if (n == VECTOR_DATA_STORAGE) { |
| if (data) { |
| asm volatile ( |
| "mfdar %0\n" |
| : "=r" (badvaddr) |