Searched refs:addr4k (Results 1 – 1 of 1) sorted by relevance
858 vm_map_offset_t addr4k, addr16k; in vm_test_map_copy_adjust_to_target() local882 addr4k = 0x1000; in vm_test_map_copy_adjust_to_target()884 kr = vm_map_enter(map4k, &addr4k, size4k, 0, in vm_test_map_copy_adjust_to_target()889 assert(addr4k == 0x1000); in vm_test_map_copy_adjust_to_target()925 kr = vm_map_copy_extract(map4k, addr4k, 0x3000, in vm_test_map_copy_adjust_to_target()