Searched refs:addr4k (Results 1 – 1 of 1) sorted by relevance
867 vm_map_offset_t addr4k, addr16k; in vm_test_map_copy_adjust_to_target() local891 addr4k = 0x1000; in vm_test_map_copy_adjust_to_target()893 kr = vm_map_enter(map4k, &addr4k, size4k, 0, in vm_test_map_copy_adjust_to_target()898 assert(addr4k == 0x1000); in vm_test_map_copy_adjust_to_target()934 kr = vm_map_copy_extract(map4k, addr4k, 0x3000, in vm_test_map_copy_adjust_to_target()