TEI_STATE_COUNT  1380 drivers/isdn/mISDN/tei.c 	teifsmu.state_count = TEI_STATE_COUNT;
TEI_STATE_COUNT  1387 drivers/isdn/mISDN/tei.c 	teifsmn.state_count = TEI_STATE_COUNT;