| 25 | #include <tlb.h> |
| 26 | |
| 27 | static int _fetch_page(rt_varea_t varea, struct rt_aspace_fault_msg *msg) |
| 28 | { |
| 29 | int err = MM_FAULT_FIXABLE_FALSE; |
| 30 | if (varea->mem_obj && varea->mem_obj->on_page_fault) |
| 31 | { |
| 32 | varea->mem_obj->on_page_fault(varea, msg); |
| 33 | err = rt_varea_map_with_msg(varea, msg); |
| 34 | err = (err == RT_EOK ? MM_FAULT_FIXABLE_TRUE : MM_FAULT_FIXABLE_FALSE); |
| 35 | } |
| 36 | return err; |
| 37 | } |
| 38 | |
| 39 | static int _read_fault(rt_varea_t varea, void *pa, struct rt_aspace_fault_msg *msg) |
| 40 | { |
no test coverage detected