Home
last modified time | relevance | path

Searched refs:dst_k (Results 1 – 1 of 1) sorted by relevance

/components/mm/
A Dmm_object.c82 char *dst_k; in page_read() local
84 dst_k = rt_hw_mmu_v2p(aspace, msg->fault_vaddr); in page_read()
85 if (dst_k != ARCH_MAP_FAILED) in page_read()
87 RT_ASSERT(!((long)dst_k & ARCH_PAGE_MASK)); in page_read()
88 dst_k = (void *)((char *)dst_k - PV_OFFSET); in page_read()
89 memcpy(msg->buffer_vaddr, dst_k, ARCH_PAGE_SIZE); in page_read()
96 void *dst_k; in page_write() local
98 dst_k = rt_hw_mmu_v2p(aspace, msg->fault_vaddr); in page_write()
99 if (dst_k != ARCH_MAP_FAILED) in page_write()
101 RT_ASSERT(!((long)dst_k & ARCH_PAGE_MASK)); in page_write()
[all …]

Completed in 4 milliseconds