-static void __init rtl838x_setup(void)
-{
- /* Setup System LED. Bit 15 then allows to toggle it */
- sw_w32_mask(0, 3 << 16, RTL838X_LED_GLB_CTRL);
-}
-
-static void __init rtl839x_setup(void)
-{
- /* Setup System LED. Bit 14 of RTL839X_LED_GLB_CTRL then allows to toggle it */
- sw_w32_mask(0, 3 << 15, RTL839X_LED_GLB_CTRL);
-}
-
-static void __init rtl930x_setup(void)
-{
- if (soc_info.id == 0x9302)
- sw_w32_mask(0, 3 << 13, RTL9302_LED_GLB_CTRL);
- else
- sw_w32_mask(0, 3 << 13, RTL930X_LED_GLB_CTRL);
-}
-
-static void __init rtl931x_setup(void)
-{
- sw_w32_mask(0, 3 << 12, RTL931X_LED_GLB_CTRL);
-}
-