console.h

Go to the documentation of this file.

#ifndef XTF_CONSOLE_H
#define XTF_CONSOLE_H

#include <xtf/libc.h>
#include <xtf/compiler.h>

#include <xen/event_channel.h>
#include <xen/io/console.h>

/* Console output callback. */
typedef void (*cons_output_cb)(const char *buf, size_t len);

/*
 * Register a console callback.  Several callbacks can be registered for useful
 * destinations of console text.
 */
void register_console_callback(cons_output_cb cb);

/*
 * Initialise the PV console.  Will register a callback.
 */
void init_pv_console(xencons_interface_t *ring,
                     evtchn_port_t port);

void vprintk(const char *fmt, va_list args) __printf(1, 0);
void printk(const char *fmt, ...) __printf(1, 2);

size_t pv_console_read_some(char *buf, size_t len);

#endif /* XTF_CONSOLE_H */

/*
 * Local variables:
 * mode: C
 * c-file-style: "BSD"
 * c-basic-offset: 4
 * tab-width: 4
 * indent-tabs-mode: nil
 * End:
 */