genode/tool/xkb2ifcfg/genode.cc
2019-08-28 14:22:32 +02:00

44 lines
788 B
C++

/*
* \brief Genode utility support
* \author Christian Helmuth <christian.helmuth@genode-labs.com>
* \date 2019-07-25
*/
/*
* Copyright (C) 2019 Genode Labs GmbH
*
* This file is part of the Genode OS framework, which is distributed
* under the terms of the GNU Affero General Public License version 3.
*/
/* Genode includes */
#include <base/console.h>
#include "util.h"
void Genode::Console::_out_string(char const *str)
{
if (!str)
_out_string("<NULL>");
else
while (*str) _out_char(*str++);
}
void Genode::Console::printf(const char *format, ...)
{
va_list list;
va_start(list, format);
vprintf(format, list);
va_end(list);
}
void Genode::Console::vprintf(const char *format, va_list list)
{
Formatted str(format, list);
_out_string(str.string());
}