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));