ti_devctl 181 drivers/pcmcia/ti113x.h ti_devctl(socket) = config_readb(socket, TI113X_DEVICE_CONTROL); ti_devctl 193 drivers/pcmcia/ti113x.h config_writeb(socket, TI113X_DEVICE_CONTROL, ti_devctl(socket));