(void) vm_map_wire(ipc_kernel_map, vm_map_trunc_page(addr),
vm_map_round_page(addr + size),
VM_PROT_READ|VM_PROT_WRITE, FALSE);
(void) vm_map_wire(ipc_kernel_map, vm_map_trunc_page(addr),
vm_map_round_page(addr + size),
VM_PROT_READ|VM_PROT_WRITE, FALSE);