535 	vm_size_t alloc1_size, alloc2_size, alloc3_size, alloc4_size;  in vm_test_4k()  local
553 	alloc1_size = 1 * FOURK_PAGE_SIZE;  in vm_test_4k()
555 …("VM_TEST_4K:%d vm_allocate(%p, 0x%lx, 0x%lx)...\n", __LINE__, test_map, alloc1_addr, alloc1_size);  in vm_test_4k()
558 	    alloc1_size,  in vm_test_4k()
563 	expected_addr += alloc1_size;  in vm_test_4k()
565 …VM_TEST_4K:%d vm_deallocate(%p, 0x%lx, 0x%lx)...\n", __LINE__, test_map, alloc1_addr, alloc1_size);  in vm_test_4k()
566 	kr = vm_deallocate(test_map, alloc1_addr, alloc1_size);  in vm_test_4k()
571 	alloc1_size = 1 * FOURK_PAGE_SIZE;  in vm_test_4k()
573 …("VM_TEST_4K:%d vm_allocate(%p, 0x%lx, 0x%lx)...\n", __LINE__, test_map, alloc1_addr, alloc1_size);  in vm_test_4k()
576 	    alloc1_size,  in vm_test_4k()
581 	expected_addr += alloc1_size;  in vm_test_4k()
759 	remap_src_size = alloc1_size + alloc2_size;  in vm_test_4k()
779 	remap_src_size = alloc1_size + alloc2_size;  in vm_test_4k()