#include "../../vm/device.h"
#include "../../vm/vm.h"

/* Screen device data */
typedef struct screen_device_data_s {
    u32 width;
    u32 height;
    u32 framebuffer_pos;
    u32 framebuffer_size;
    VM* vm;
} ScreenDeviceData;

/* Keyboard device data */
typedef struct keyboard_device_data_s {
    const u8 *keys;
    i32 key_count;
} KeyboardDeviceData;

i32 screen_open(void *data, u32 mode);
i32 screen_read(void *data, u8 *buffer, u32 size);
i32 screen_write(void *data, const u8 *buffer, u32 size);
i32 screen_close(void *data);

i32 keyboard_open(void *data, u32 mode);
i32 keyboard_read(void *data, u8 *buffer, u32 size);
i32 keyboard_write(void *data, const u8 *buffer, u32 size);
i32 keyboard_close(void *data);

i32 console_open(void *data, u32 mode);
i32 console_read(void *data, u8 *buffer, u32 size);
i32 console_write(void *data, const u8 *buffer, u32 size);
i32 console_close(void *data);
i32 console_ioctl(void *data, u32 cmd, void *args);