Lines Matching refs:page
495 …_varea_t varea, rt_aspace_t aspace, void *fault_vaddr, struct rt_aspace_fault_msg *msg, void *page) in _override_map() argument
523 msg->response.vaddr = page; in _override_map()
530 RT_ASSERT(rt_hw_mmu_v2p(aspace, msg->fault_vaddr) == (page + PV_OFFSET)); in _override_map()
532 rt_varea_pgmgr_insert(map_varea, page); in _override_map()
533 rt_pages_free(page, 0); in _override_map()
562 void *page; in rt_varea_fix_private_locked() local
584 page = rt_pages_alloc_tagged(0, RT_PAGE_PICK_AFFID(fault_vaddr), PAGE_ANY_AVAILABLE); in rt_varea_fix_private_locked()
585 if (page) in rt_varea_fix_private_locked()
591 rt_mm_io_msg_init(&io_msg, msg->off, msg->fault_vaddr, page); in rt_varea_fix_private_locked()
599 rc = _override_map(ex_varea, aspace, fault_vaddr, msg, page); in rt_varea_fix_private_locked()
603 rt_pages_free(page, 0); in rt_varea_fix_private_locked()
610 rc = _override_map(ex_varea, aspace, fault_vaddr, msg, page); in rt_varea_fix_private_locked()