Searched refs:kern_size (Results 1 – 1 of 1) sorted by relevance
75 unsigned long dest_kern_start, source_start, source_end, kern_size; in copy_kernel() local79 kern_size = source_end - source_start; in copy_kernel()83 memcpy((void *)dest_kern_start, (void *)source_start, kern_size); in copy_kernel()