eibnx_port_monitor
kt = thread_create(NULL, 0, eibnx_port_monitor,
void eibnx_port_monitor(eibnx_thr_info_t *);