Searched refs:dest_kern_start (Results 1 – 1 of 1) sorted by relevance
74 unsigned long dest_kern_start, source_start, source_end, kern_size; in copy_kernel() local80 dest_kern_start = CHANGE_ADDR_NASID(MAPPED_KERN_RO_TO_K0(source_start), in copy_kernel()82 memcpy((void *)dest_kern_start, (void *)source_start, kern_size); in copy_kernel()