}
ipc_kobject_set(fileport, (ipc_kobject_t)fg, IKOT_FILEPORT);
- notifyport = ipc_port_make_sonce(fileport);
ip_lock(fileport); /* unlocked by ipc_port_nsrequest */
+ notifyport = ipc_port_make_sonce_locked(fileport);
ipc_port_nsrequest(fileport, 1, notifyport, ¬ifyport);
sendport = ipc_port_make_send(fileport);