Searched refs:ux_handler_send_right (Results 1 – 1 of 1) sorted by relevance
87 ipc_port_t ux_handler_send_right = ipc_port_make_send(ux_handler_port); in ux_handler_setup() local89 if (!IP_VALID(ux_handler_send_right)) { in ux_handler_setup()102 ux_handler_send_right, in ux_handler_setup()