eibnx_create_eoib_node
kt = thread_create(NULL, 0, eibnx_create_eoib_node, NULL, 0,
void eibnx_create_eoib_node(void);