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;