X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=7a466a9b6b34025976bca4b967b87afe13113ca6;hb=8330d6bb32172ba7c50b4e242e0213c8a9e1424e;hp=1ef6cb1e784baa8117980f38eeb0d795dbac6b8a;hpb=afed1e7a0d44d1fd59816e1ccf9563caceee0fcc;p=palacios.git diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h index 1ef6cb1..7a466a9 100644 --- a/palacios/include/palacios/vmm.h +++ b/palacios/include/palacios/vmm.h @@ -67,14 +67,26 @@ struct guest_info; -#define V3_AllocPages(num_pages) \ - ({ \ - extern struct v3_os_hooks * os_hooks; \ - void * ptr = 0; \ - if ((os_hooks) && (os_hooks)->allocate_pages) { \ - ptr = (os_hooks)->allocate_pages(num_pages); \ - } \ - ptr; \ +/* 4KB-aligned */ +#define V3_AllocPages(num_pages) \ + ({ \ + extern struct v3_os_hooks * os_hooks; \ + void * ptr = 0; \ + if ((os_hooks) && (os_hooks)->allocate_pages) { \ + ptr = (os_hooks)->allocate_pages(num_pages,PAGE_SIZE_4KB); \ + } \ + ptr; \ + }) + + +#define V3_AllocAlignedPages(num_pages, align) \ + ({ \ + extern struct v3_os_hooks * os_hooks; \ + void * ptr = 0; \ + if ((os_hooks) && (os_hooks)->allocate_pages) { \ + ptr = (os_hooks)->allocate_pages(num_pages,align); \ + } \ + ptr; \ }) @@ -239,7 +251,7 @@ struct v3_os_hooks { void (*print)(const char * format, ...) __attribute__ ((format (printf, 1, 2))); - void *(*allocate_pages)(int numPages); + void *(*allocate_pages)(int numPages, unsigned int alignment); void (*free_page)(void * page); void *(*malloc)(unsigned int size); @@ -249,7 +261,6 @@ struct v3_os_hooks { void *(*vaddr_to_paddr)(void *addr); int (*hook_interrupt)(struct v3_vm_info * vm, unsigned int irq); - int (*ack_irq)(int irq); unsigned int (*get_cpu_khz)(void); @@ -266,7 +277,7 @@ struct v3_os_hooks { unsigned int (*get_cpu)(void); void (*interrupt_cpu)(struct v3_vm_info * vm, int logical_cpu, int vector); void (*call_on_cpu)(int logical_cpu, void (*fn)(void * arg), void * arg); - void (*start_thread_on_cpu)(int logical_cpu, int (*fn)(void * arg), void * arg, char * thread_name); + void * (*start_thread_on_cpu)(int cpu_id, int (*fn)(void * arg), void * arg, char * thread_name); }; @@ -289,8 +300,9 @@ struct v3_interrupt { void Init_V3(struct v3_os_hooks * hooks, int num_cpus); -int v3_start_vm(struct v3_vm_info * vm, unsigned int cpu_mask); struct v3_vm_info * v3_create_vm(void * cfg); +int v3_start_vm(struct v3_vm_info * vm, unsigned int cpu_mask); + int v3_deliver_irq(struct v3_vm_info * vm, struct v3_interrupt * intr);