#define V3_ADD_PCI_HW_DEV 55
#define V3_ADD_PCI_USER_DEV 56
+#define V3_DVFS_CTRL 60
+
+
/* VM Specific IOCTLs */
#define V3_VM_CONSOLE_CONNECT 20
#define V3_VM_STREAM_CONNECT 21
#define V3_VM_MOVE_MEM 36
+#define V3_VM_RESET 40
+
#define V3_VM_FB_INPUT 257
#define V3_VM_FB_QUERY 258
+#define V3_VM_MEM_TRACK_SIZE 300
+#define V3_VM_MEM_TRACK_CMD 301
+#define V3_VM_MEM_TRACK_SNAP 302
+
#define V3_VM_HOST_DEV_CONNECT 10245
#define V3_VM_KSTREAM_USER_CONNECT 11245
char name[128];
} __attribute__((packed));
-typedef enum { PREALLOCATED=0, // user space-allocated (e.g. hot remove)
+typedef enum { PREALLOCATED=0, // user space-allocated (e.g. hot remove)
REQUESTED, // kernel will attempt allocation (anywhere)
REQUESTED32, // kernel will attempt allocation (<4GB)
-
} v3_mem_region_type_t;
struct v3_mem_region {
unsigned short pcore_id;
} __attribute__((packed));
+struct v3_reset_cmd {
+#define V3_RESET_VM_ALL 0
+#define V3_RESET_VM_HRT 1
+#define V3_RESET_VM_ROS 2
+#define V3_RESET_VM_CORE_RANGE 3
+ unsigned int type;
+ unsigned int first_core; // for CORE_RANGE
+ unsigned int num_cores; // for CORE_RANGE
+} __attribute__((packed));
+
struct v3_chkpt_info {
char store[128];
char url[256]; /* This might need to be bigger... */
void palacios_print_scoped(void *vm, int vcore, const char *fmt, ...);
#define palacios_print(...) palacios_print_scoped(0,-1, __VA_ARGS__)
// node_id=-1 => no node constraint
-void *palacios_allocate_pages(int num_pages, unsigned int alignment, int node_id, int constraints);
+void *palacios_allocate_pages(int num_pages, unsigned int alignment, int node_id, int (*filter_func)(void *paddr, void *filter_state), void *filter_state);
void palacios_free_pages(void *page_addr, int num_pages);
void *palacios_alloc(unsigned int size);
// node_id=-1 => no node constraint
void palacios_vfree(void *); // use instead of vfree
void *palacios_vaddr_to_paddr(void *vaddr);
void *palacios_paddr_to_vaddr(void *paddr);
-void *palacios_start_kernel_thread(int (*fn)(void * arg), void *arg, char *thread_name);
-void *palacios_start_thread_on_cpu(int cpu_id, int (*fn)(void * arg), void *arg, char *thread_name);
+void palacios_xcall(int cpu_id, void (*fn)(void *arg), void *arg);
+void *palacios_create_and_start_kernel_thread(int (*fn)(void * arg), void *arg, char *thread_name);
+void *palacios_create_thread_on_cpu(int cpu_id, int (*fn)(void * arg), void *arg, char *thread_name);
+void palacios_start_thread(void *thread_ptr);
+void *palacios_creeate_and_start_thread_on_cpu(int cpu_id, int (*fn)(void * arg), void *arg, char *thread_name);
int palacios_move_thread_to_cpu(int new_cpu_id, void *thread_ptr);
void palacios_yield_cpu(void);
void palacios_sleep_cpu(unsigned int us);