Searched refs:addr4k (Results 1 – 1 of 1) sorted by relevance
864 vm_map_offset_t addr4k, addr16k; in vm_test_map_copy_adjust_to_target() local888 addr4k = 0x1000; in vm_test_map_copy_adjust_to_target()890 kr = vm_map_enter(map4k, &addr4k, size4k, 0, in vm_test_map_copy_adjust_to_target()895 assert(addr4k == 0x1000); in vm_test_map_copy_adjust_to_target()931 kr = vm_map_copy_extract(map4k, addr4k, 0x3000, in vm_test_map_copy_adjust_to_target()