Searched refs:addr4k (Results 1 – 1 of 1) sorted by relevance
841 vm_map_offset_t addr4k, addr16k; in vm_test_map_copy_adjust_to_target() local862 addr4k = 0x1000; in vm_test_map_copy_adjust_to_target()864 kr = vm_map_enter(map4k, &addr4k, size4k, 0, VM_FLAGS_ANYWHERE, in vm_test_map_copy_adjust_to_target()869 assert(addr4k == 0x1000); in vm_test_map_copy_adjust_to_target()902 kr = vm_map_copy_extract(map4k, addr4k, 0x3000, in vm_test_map_copy_adjust_to_target()