536 	vm_size_t alloc5_size, remap_src_size;  in vm_test_4k()  local
681 	remap_src_size = 2 * FOURK_PAGE_SIZE;  in vm_test_4k()
683 …lx, 0x%lx, 0x%lx, copy=0)...\n", __LINE__, test_map, remap_dst_addr, remap_src_size, remap_src_add…  in vm_test_4k()
686 	    remap_src_size,  in vm_test_4k()
698 	expected_addr += remap_src_size;  in vm_test_4k()
701 	    fault_addr < remap_dst_addr + remap_src_size;  in vm_test_4k()
719 	remap_src_size = 0x5000;  in vm_test_4k()
720 …0x%lx, 0x%lx, %p, copy=0) from 4K to 16K\n", test_map, remap_src_addr, remap_src_size, kernel_map);  in vm_test_4k()
723 	    remap_src_size,  in vm_test_4k()
738 	remap_src_size = 0x5000;  in vm_test_4k()
739 …0x%lx, 0x%lx, %p, copy=1) from 4K to 16K\n", test_map, remap_src_addr, remap_src_size, kernel_map);  in vm_test_4k()
742 	    remap_src_size,  in vm_test_4k()
759 	remap_src_size = alloc1_size + alloc2_size;  in vm_test_4k()
760 …0x%lx, 0x%lx, %p, copy=0) from 4K to 16K\n", test_map, remap_src_addr, remap_src_size, kernel_map);  in vm_test_4k()
763 	    remap_src_size,  in vm_test_4k()
779 	remap_src_size = alloc1_size + alloc2_size;  in vm_test_4k()
780 …0x%lx, 0x%lx, %p, copy=1) from 4K to 16K\n", test_map, remap_src_addr, remap_src_size, kernel_map);  in vm_test_4k()
783 	    remap_src_size,  in vm_test_4k()