Lines Matching refs:addr2
247 vm_offset_t addr2; /* allocated memory, for types */
268 kmem_free(ipc_kernel_map, addr2, size);
286 kmem_free(ipc_kernel_map, addr2, size);
294 kr = vm_allocate(ipc_kernel_map, &addr2, size, VM_FLAGS_ANYWHERE);
312 kmem_free(ipc_kernel_map, addr2, size);
318 vm_map_trunc_page(addr2,
320 vm_map_round_page(addr2 + size,
326 kmem_free(ipc_kernel_map, addr2, size);
334 types = (mach_port_type_t *) addr2;
363 kmem_free(ipc_kernel_map, addr2, size);
390 vm_map_trunc_page(addr2,
392 vm_map_round_page(addr2 + vm_size_used,
401 kr = vm_map_copyin(ipc_kernel_map, (vm_map_address_t)addr2,
409 addr2 + vm_size_used, size - vm_size_used);