Correct device_printf usage