#ifndef _KERNEL_DEVICE_DEBUGCONSOLE_H
#define _KERNEL_DEVICE_DEBUGCONSOLE_H

#include <libk/std.h>
#include <proc/proc.h>
#include <proc/reschedule.h>

struct device;

bool debugconsole_init (struct device* device, void* arg, struct proc* proc,
                        struct reschedule_ctx* rctx);

void debugconsole_fini (struct device* device, struct proc* proc, struct reschedule_ctx* rctx);

int debugconsole_putstr (struct device* device, struct proc* proc, struct reschedule_ctx* rctx,
                         uint64_t* lockflags, void* a1, void* a2, void* a3, void* a4);

#endif // _KERNEL_DEVICE_DEBUGCONSOLE_H