510 	vm_size_t alloc1_size, alloc2_size, alloc3_size, alloc4_size;  in vm_test_4k()  local
528 	alloc1_size = 1 * FOURK_PAGE_SIZE;  in vm_test_4k()
530 …("VM_TEST_4K:%d vm_allocate(%p, 0x%lx, 0x%lx)...\n", __LINE__, test_map, alloc1_addr, alloc1_size);  in vm_test_4k()
533 	    alloc1_size,  in vm_test_4k()
538 	expected_addr += alloc1_size;  in vm_test_4k()
540 …VM_TEST_4K:%d vm_deallocate(%p, 0x%lx, 0x%lx)...\n", __LINE__, test_map, alloc1_addr, alloc1_size);  in vm_test_4k()
541 	kr = vm_deallocate(test_map, alloc1_addr, alloc1_size);  in vm_test_4k()
546 	alloc1_size = 1 * FOURK_PAGE_SIZE;  in vm_test_4k()
548 …("VM_TEST_4K:%d vm_allocate(%p, 0x%lx, 0x%lx)...\n", __LINE__, test_map, alloc1_addr, alloc1_size);  in vm_test_4k()
551 	    alloc1_size,  in vm_test_4k()
556 	expected_addr += alloc1_size;  in vm_test_4k()
734 	remap_src_size = alloc1_size + alloc2_size;  in vm_test_4k()
754 	remap_src_size = alloc1_size + alloc2_size;  in vm_test_4k()