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