ti_sysctl
ti_sysctl(socket) = config_readl(socket, TI113X_SYSTEM_CONTROL);
config_writel(socket, TI113X_SYSTEM_CONTROL, ti_sysctl(socket));