ti_cardctl        180 drivers/pcmcia/ti113x.h 	ti_cardctl(socket) = config_readb(socket, TI113X_CARD_CONTROL);
ti_cardctl        192 drivers/pcmcia/ti113x.h 	config_writeb(socket, TI113X_CARD_CONTROL, ti_cardctl(socket));