#ifndef _KERNEL_DEVICE_TERMINAL_H
#define _KERNEL_DEVICE_TERMINAL_H

#include <libk/std.h>

struct device;
struct device_op_ctx;

bool terminal_init (struct device* device, void* arg);
void terminal_fini (struct device* device);
int terminal_putstr (struct device* device, struct device_op_ctx* op_ctx, void* a1, void* a2,
                     void* a3, void* a4);

#endif // _KERNEL_DEVICE_TERMINAL_H