+++ /dev/null
-
-void console_handle_input(evtchn_port_t port, struct pt_regs *regs, void *data);
#include <mini-os/events.h>
#include <mini-os/os.h>
#include <mini-os/lib.h>
+#include <mini-os/console.h>
#include <mini-os/xenbus.h>
#include <xen/io/console.h>
#include <xen/io/protocols.h>
#include <xen/io/ring.h>
#include <mini-os/xmalloc.h>
#include <mini-os/gnttab.h>
-#include "console.h"
void free_consfront(struct consfront_dev *dev)
{
#include <mini-os/events.h>
#include <mini-os/os.h>
#include <mini-os/lib.h>
+#include <mini-os/console.h>
#include <mini-os/xenbus.h>
#include <xen/io/console.h>
#include <xen/io/protocols.h>
#include <xen/hvm/params.h>
#include <mini-os/xmalloc.h>
#include <mini-os/gnttab.h>
-#include "console.h"
DECLARE_WAIT_QUEUE_HEAD(console_queue);
extern const struct file_ops console_ops;
int open_consfront(char *nodename);
#endif
+void console_handle_input(evtchn_port_t port, struct pt_regs *regs, void *data);
#endif /* _LIB_CONSOLE_H_ */