Searched refs:arcade_upcall_port (Results 1 – 1 of 1) sorted by relevance
102 static ipc_port_t arcade_upcall_port = IP_NULL; variable164 if (IP_VALID(arcade_upcall_port)) { in arcade_register_new_upcall()165 ipc_port_release_send(arcade_upcall_port); in arcade_register_new_upcall()166 arcade_upcall_port = IP_NULL; in arcade_register_new_upcall()168 arcade_upcall_port = port; /* owns send right */ in arcade_register_new_upcall()172 thread_wakeup(&arcade_upcall_port); in arcade_register_new_upcall()201 if (IP_VALID(arcade_upcall_port)) { in arcade_upcall_refresh()202 ipc_port_release_send(arcade_upcall_port); in arcade_upcall_refresh()203 arcade_upcall_port = IP_NULL; in arcade_upcall_refresh()237 &arcade_upcall_port, THREAD_INTERRUPTIBLE, deadline); in arcade_upcall_refresh()[all …]