Searched refs:ack_write_as_int (Results 1 – 1 of 1) sorted by relevance
690 const int ack_write_as_int = cast_handle_to_int(ack_write.get()); in launch_server() local691 if (cast_int_to_handle(ack_write_as_int) != ack_write.get()) { in launch_server()714 ack_write_as_int); in launch_server()