Searched refs:rt_varea_map_page (Results 1 – 3 of 3) sorted by relevance
261 int rt_varea_map_page(rt_varea_t varea, void *vaddr, void *page);
241 if (rt_varea_map_page(varea, fault_addr, page_va) == RT_EOK) in _map_page_in_varea()
1328 int rt_varea_map_page(rt_varea_t varea, void *vaddr, void *page) in rt_varea_map_page() function
Completed in 8 milliseconds