4 #include <linux/cdev.h>
5 #include <linux/list.h>
6 #include <linux/sched.h>
8 #include "palacios-console.h"
10 /* Global Control IOCTLs */
11 #define V3_START_GUEST 10
12 #define V3_ADD_MEMORY 50
14 /* VM Specific IOCTLs */
15 #define V3_VM_CONSOLE_CONNECT 20
16 #define V3_VM_SERIAL_CONNECT 21
20 unsigned long long size;
25 struct v3_mem_region {
26 unsigned long long base_addr;
27 unsigned long long num_pages;
40 struct list_head files;
41 struct list_head streams;
42 struct list_head sockets;
44 struct palacios_console console;
46 struct completion thread_done;
52 // For now MAX_VMS must be a multiple of 8
53 // This is due to the minor number bitmap
60 extern void send_key_to_palacios(unsigned char status, unsigned char scan_code);
63 int palacios_vmm_init( void );
64 int palacios_vmm_exit( void );