/* To optimize the number of get_current() calls, this function only calls get_current() once and then directly accesses the putc() call of the &struct serial_device .  */
void default_serial_puts(const char *s)
/* To optimize the number of get_current() calls, this function only calls get_current() once and then directly accesses the putc() call of the &struct serial_device .  */
void default_serial_puts(const char *s)
{
	struct serial_device *dev = get_current();
	while (*s)
		dev->putc(*s++);
}