Searched refs:arcade_upcall_port (Results 1 – 1 of 1) sorted by relevance
104 static ipc_port_t arcade_upcall_port = IP_NULL; variable167 if (IP_VALID(arcade_upcall_port)) { in arcade_register_new_upcall()168 ipc_port_release_send(arcade_upcall_port); in arcade_register_new_upcall()169 arcade_upcall_port = IP_NULL; in arcade_register_new_upcall()171 arcade_upcall_port = port; /* owns send right */ in arcade_register_new_upcall()175 thread_wakeup(&arcade_upcall_port); in arcade_register_new_upcall()203 if (IP_VALID(arcade_upcall_port)) { in arcade_upcall_refresh()204 ipc_port_release_send(arcade_upcall_port); in arcade_upcall_refresh()205 arcade_upcall_port = IP_NULL; in arcade_upcall_refresh()239 &arcade_upcall_port, THREAD_INTERRUPTIBLE, deadline); in arcade_upcall_refresh()[all …]