#ifndef _KERNEL_DEVICE_TERMINAL_H #define _KERNEL_DEVICE_TERMINAL_H #include #include #include #include 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 proc* proc, struct reschedule_ctx* rctx, void* a1, void* a2, void* a3, void* a4); #endif // _KERNEL_DEVICE_TERMINAL_H