#ifndef _PALACIOS_H
#define _PALACIOS_H

#include <linux/cdev.h>
#include <linux/list.h>
#include <linux/sched.h>
#include <linux/slab.h>


/* Global Control IOCTLs */
#define V3_START_GUEST 10
#define V3_STOP_GUEST 11
#define V3_ADD_MEMORY 50

/* VM Specific IOCTLs */
#define V3_VM_CONSOLE_CONNECT 20


#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;
    void * guest_data;
    char name[128];
};

struct v3_mem_region {
    unsigned long long base_addr;
    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 v3_guest {
    void * v3_ctx;

    void * img; 
    u32 img_size;

    char name[128];


    struct rb_root vm_ctrls;
    struct list_head exts;

    struct completion start_done;
    struct completion thread_done;

    dev_t vm_dev; 
    struct cdev cdev;
};

// For now MAX_VMS must be a multiple of 8
// This is due to the minor number bitmap
#define MAX_VMS 32



int palacios_vmm_init( void );
int palacios_vmm_exit( void );



#endif