tei_id_chk_req_net  720 drivers/isdn/mISDN/tei.c 		tei_id_chk_req_net(fi, event, arg);
tei_id_chk_req_net  755 drivers/isdn/mISDN/tei.c 	{ST_TEI_NOP, EV_CHKREQ, tei_id_chk_req_net},