Searched refs:addr4k (Results 1 – 1 of 1) sorted by relevance
834 vm_map_offset_t addr4k, addr16k; in vm_test_map_copy_adjust_to_target() local857 addr4k = 0x1000; in vm_test_map_copy_adjust_to_target()859 kr = vm_map_enter(map4k, &addr4k, size4k, 0, in vm_test_map_copy_adjust_to_target()864 assert(addr4k == 0x1000); in vm_test_map_copy_adjust_to_target()897 kr = vm_map_copy_extract(map4k, addr4k, 0x3000, in vm_test_map_copy_adjust_to_target()