137 		drm_info(dev, "Using default configuration\n");  in ast_device_config_init()
140 		drm_info(dev, "Using device-tree for configuration\n");  in ast_device_config_init()
143 		drm_info(dev, "Using P2A bridge for configuration\n");  in ast_device_config_init()
153 		drm_info(dev, "AST 2600 detected\n");  in ast_device_config_init()
158 			drm_info(dev, "AST 2510 detected\n");  in ast_device_config_init()
162 			drm_info(dev, "AST 2500 detected\n");  in ast_device_config_init()
168 			drm_info(dev, "AST 1400 detected\n");  in ast_device_config_init()
172 			drm_info(dev, "AST 2400 detected\n");  in ast_device_config_init()
178 			drm_info(dev, "AST 1300 detected\n");  in ast_device_config_init()
182 			drm_info(dev, "AST 2300 detected\n");  in ast_device_config_init()
189 			drm_info(dev, "AST 1100 detected\n");  in ast_device_config_init()
193 			drm_info(dev, "AST 2200 detected\n");  in ast_device_config_init()
197 			drm_info(dev, "AST 2150 detected\n");  in ast_device_config_init()
201 			drm_info(dev, "AST 2100 detected\n");  in ast_device_config_init()
206 		drm_info(dev, "AST 2000 detected\n");  in ast_device_config_init()
298 		drm_info(dev, "Using analog VGA\n");  in ast_detect_tx_chip()
300 		drm_info(dev, "Using Sil164 TMDS transmitter\n");  in ast_detect_tx_chip()
302 		drm_info(dev, "Using DP501 DisplayPort transmitter\n");  in ast_detect_tx_chip()
304 		drm_info(dev, "Using ASPEED DisplayPort transmitter\n");  in ast_detect_tx_chip()
458 		drm_info(dev, "platform has no IO space, trying MMIO\n");  in ast_device_create()
470 		drm_info(dev, "VGA not enabled on entry, requesting chip POST\n");  in ast_device_create()
498 	drm_info(dev, "dram MCLK=%u Mhz type=%d bus_width=%d\n",  in ast_device_create()
513 			drm_info(dev, "failed to map reserved buffer!\n");  in ast_device_create()