pub type uart_select_notif_t = c_uint;