t4_uninit_synchronized
(void) t4_uninit_synchronized(pi);
static int t4_uninit_synchronized(struct port_info *pi);