#include <linux/sched.h>
#include <linux/slab.h>
-#include "palacios-console.h"
/* Global Control IOCTLs */
#define V3_START_GUEST 10
#define V3_ADD_MEMORY 50
+#define V3_START_NETWORK 60
/* VM Specific IOCTLs */
#define V3_VM_CONSOLE_CONNECT 20
-#define V3_VM_SERIAL_CONNECT 21
+#define V3_VM_STREAM_CONNECT 21
#define V3_VM_STOP 22
+#define V3_VM_INSPECT 30
+
+#define V3_VM_FB_INPUT (256+1)
+#define V3_VM_FB_QUERY (256+2)
+
+#define V3_VM_HOST_DEV_CONNECT (10244+1)
+
+
struct v3_guest_img {
unsigned long long size;
void * guest_data;
};
+void * trace_malloc(size_t size, gfp_t flags);
+void trace_free(const void * objp);
+
struct v3_guest {
void * v3_ctx;
char name[128];
- struct list_head files;
- struct list_head streams;
- struct list_head sockets;
- struct palacios_console console;
+ struct rb_root vm_ctrls;
+ struct list_head exts;
+ struct completion start_done;
struct completion thread_done;
dev_t vm_dev;
-
-
-extern void send_key_to_palacios(unsigned char status, unsigned char scan_code);
-
-
int palacios_vmm_init( void );
int palacios_vmm_exit( void );