Searched refs:arcade_upcall_port (Results 1 – 1 of 1) sorted by relevance
103 static ipc_port_t arcade_upcall_port = IP_NULL; variable166 if (IP_VALID(arcade_upcall_port)) { in arcade_register_new_upcall()167 ipc_port_release_send(arcade_upcall_port); in arcade_register_new_upcall()168 arcade_upcall_port = IP_NULL; in arcade_register_new_upcall()170 arcade_upcall_port = port; /* owns send right */ in arcade_register_new_upcall()174 thread_wakeup(&arcade_upcall_port); in arcade_register_new_upcall()202 if (IP_VALID(arcade_upcall_port)) { in arcade_upcall_refresh()203 ipc_port_release_send(arcade_upcall_port); in arcade_upcall_refresh()204 arcade_upcall_port = IP_NULL; in arcade_upcall_refresh()238 &arcade_upcall_port, THREAD_INTERRUPTIBLE, deadline); in arcade_upcall_refresh()[all …]