Lines Matching refs:dst_k
82 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()
102 dst_k = (void *)((char *)dst_k - PV_OFFSET); in page_write()
103 memcpy(dst_k, msg->buffer_vaddr, ARCH_PAGE_SIZE); in page_write()