X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmm.h;h=896598f367f37109795ea8c8b3cf6929b1e44e8d;hb=9be2a31f574121ab4aa0289b7714eefe070b0db0;hp=8751e025752468061a7dd848fe8466367bef7256;hpb=190b2ef9470c23c275754b74745933d973f8c439;p=palacios-OLD.git diff --git a/palacios/include/geekos/vmm.h b/palacios/include/geekos/vmm.h index 8751e02..896598f 100644 --- a/palacios/include/geekos/vmm.h +++ b/palacios/include/geekos/vmm.h @@ -6,7 +6,9 @@ #include #include +//#include +#include /* utility definitions */ #define PrintDebug(fmt, args...) \ @@ -68,16 +70,6 @@ -typedef struct guest_info { - ullong_t rip; - ullong_t rsp; - - vmm_mem_list_t mem_list; - vmm_mem_layout_t mem_layout; - // device_map - - void * vmm_data; -} guest_info_t; @@ -95,6 +87,9 @@ struct vmm_os_hooks { void *(*malloc)(uint_t size); void (*free)(void * addr); + void *(*paddr_to_vaddr)(void *addr); + void *(*vaddr_to_paddr)(void *addr); + void (*start_kernel_thread)(); // include pointer to function };