ti_cardctl
ti_cardctl(socket) = config_readb(socket, TI113X_CARD_CONTROL);
config_writeb(socket, TI113X_CARD_CONTROL, ti_cardctl(socket));