video_virtio.64.c File Reference

Video virtio driver. More...

#include <driver/video_virtio.h>
#include <video.h>
#include <driver/virtio.h>
#include <cpu/interrupt.h>
#include <apic.h>
#include <memory/paging.h>
#include <memory/frame.h>
#include <cpu/sync.h>
#include <future.h>
#include <systeminfo.h>
#include <utils.h>
#include <time/timer.h>
#include <cpu/task.h>
#include <driver/video_edid.h>
#include <cpu.h>
#include <logging.h>
#include <graphics/image.h>

Functions
	MODULE ("turnstone.kernel.hw.video.virtiogpu")
uint64_t	virtio_gpu_select_features (virtio_dev_t *dev, uint64_t selected_features)
int8_t	virtio_gpu_create_queues (virtio_dev_t *dev)
int8_t	virtio_gpu_controlq_isr (interrupt_frame_ext_t *frame)
int8_t	virtio_gpu_cursorq_isr (interrupt_frame_ext_t *frame)
void	virtio_gpu_display_init (uint32_t scanout)
void	virtio_gpu_mouse_init (void)
void	virtio_gpu_display_flush (uint32_t scanout, uint64_t buf_offset, uint32_t x, uint32_t y, uint32_t width, uint32_t height)
void	virtio_gpu_mouse_move (uint32_t x, uint32_t y)
void	video_text_print (char_t *string)
int8_t	virtio_video_init (memory_heap_t *heap, const pci_dev_t *pci_dev)

Variables
uint32_t	resource_id = 0
uint32_t	screen_width = 0
uint32_t	screen_height = 0
uint32_t	mouse_width = 0
uint32_t	mouse_height = 0
virtio_gpu_wrapper_t *	virtio_gpu_wrapper = NULL
lock_t *	virtio_gpu_lock = NULL
lock_t *	virtio_gpu_cursor_lock = NULL
lock_t *	virtio_gpu_flush_lock = NULL

Detailed Description

Video virtio driver.

This work is licensed under TURNSTONE OS Public License. Please read and understand latest version of Licence.