Use device_printf().