discard_old_kernel_data   79 arch/arm/mm/copypage-v6.c 	discard_old_kernel_data(page_address(to));
discard_old_kernel_data  108 arch/arm/mm/copypage-v6.c 	discard_old_kernel_data(page_address(page));