#include <linux/slab.h>
-
-
-#ifdef V3_CONFIG_HOST_DEVICE
-#include "palacios-host-dev.h"
-#endif
-
-
/* Global Control IOCTLs */
#define V3_START_GUEST 10
+#define V3_STOP_GUEST 11
#define V3_ADD_MEMORY 50
-#define V3_START_NETWORK 60
/* VM Specific IOCTLs */
#define V3_VM_CONSOLE_CONNECT 20
-#define V3_VM_STREAM_CONNECT 21
-#define V3_VM_STOP 22
+
+
+#define V3_VM_PAUSE 23
+#define V3_VM_CONTINUE 24
#define V3_VM_INSPECT 30
+#define V3_VM_MOVE_CORE 33
+
#define V3_VM_FB_INPUT (256+1)
#define V3_VM_FB_QUERY (256+2)
#define V3_VM_HOST_DEV_CONNECT (10244+1)
+#define V3_VM_KSTREAM_USER_CONNECT (11244+1)
+
struct v3_guest_img {
unsigned long long size;
unsigned long long num_pages;
};
+struct v3_core_move_cmd{
+ uint16_t vcore_id;
+ uint16_t pcore_id;
+};
+
void * trace_malloc(size_t size, gfp_t flags);
void trace_free(const void * objp);
struct rb_root vm_ctrls;
struct list_head exts;
-
-#ifdef V3_CONFIG_HOST_DEVICE
- struct palacios_host_dev hostdev;
-#endif
-
-
struct completion start_done;
struct completion thread_done;
-
-
-extern void send_key_to_palacios(unsigned char status, unsigned char scan_code);
-
-
int palacios_vmm_init( void );
int palacios_vmm_exit( void );