4 #include <linux/cdev.h>
5 #include <linux/list.h>
6 #include <linux/sched.h>
7 #include <linux/slab.h>
9 #ifdef V3_CONFIG_CONSOLE
10 #include "palacios-console.h"
13 /* Global Control IOCTLs */
14 #define V3_START_GUEST 10
15 #define V3_ADD_MEMORY 50
16 #define V3_START_NETWORK 60
18 /* VM Specific IOCTLs */
19 #define V3_VM_CONSOLE_CONNECT 20
20 #define V3_VM_STREAM_CONNECT 21
24 unsigned long long size;
29 struct v3_mem_region {
30 unsigned long long base_addr;
31 unsigned long long num_pages;
40 void * trace_malloc(size_t size, gfp_t flags);
41 void trace_free(const void * objp);
52 struct list_head files;
53 struct list_head streams;
54 struct list_head sockets;
56 #ifdef V3_CONFIG_CONSOLE
57 struct palacios_console console;
60 struct completion start_done;
61 struct completion thread_done;
67 // For now MAX_VMS must be a multiple of 8
68 // This is due to the minor number bitmap
75 extern void send_key_to_palacios(unsigned char status, unsigned char scan_code);
78 int palacios_vmm_init( void );
79 int palacios_vmm_exit( void );