CARMINE_CTL_REG   439 drivers/video/fbdev/carminefb.c 	c_set_hw_reg(hw, CARMINE_CTL_REG + CARMINE_CTL_REG_CLOCK_ENABLE,
CARMINE_CTL_REG   447 drivers/video/fbdev/carminefb.c 	c_set_hw_reg(hw, CARMINE_CTL_REG + CARMINE_CTL_REG_SOFTWARE_RESET, 1);
CARMINE_CTL_REG   448 drivers/video/fbdev/carminefb.c 	c_set_hw_reg(hw, CARMINE_CTL_REG + CARMINE_CTL_REG_SOFTWARE_RESET, 0);
CARMINE_CTL_REG   708 drivers/video/fbdev/carminefb.c 	c_set_hw_reg(hw, CARMINE_CTL_REG + CARMINE_CTL_REG_CLOCK_ENABLE, 0);
CARMINE_CTL_REG   739 drivers/video/fbdev/carminefb.c 	c_set_hw_reg(hw, CARMINE_CTL_REG + CARMINE_CTL_REG_CLOCK_ENABLE, 0);