dest_kern_start    75 arch/mips/sgi-ip27/ip27-klnuma.c 	unsigned long dest_kern_start, source_start, source_end, kern_size;
dest_kern_start    81 arch/mips/sgi-ip27/ip27-klnuma.c 	dest_kern_start = CHANGE_ADDR_NASID(MAPPED_KERN_RO_TO_K0(source_start),
dest_kern_start    83 arch/mips/sgi-ip27/ip27-klnuma.c 	memcpy((void *)dest_kern_start, (void *)source_start, kern_size);