5 #include <geekos/ktypes.h>
6 #include <geekos/string.h>
8 #include <geekos/vmm_mem.h>
11 /* utility definitions */
12 #define PrintDebug(fmt, args...) \
14 extern struct vmm_os_hooks * os_hooks; \
15 if ((os_hooks) && (os_hooks)->print_debug) { \
16 (os_hooks)->print_debug((fmt), ##args); \
22 #define PrintInfo(fmt, args...) \
24 extern struct vmm_os_hooks * os_hooks; \
25 if ((os_hooks) && (os_hooks)->print_info) { \
26 (os_hooks)->print_info((fmt), ##args); \
31 #define PrintTrace(fmt, args...) \
33 extern struct vmm_os_hooks * os_hooks; \
34 if ((os_hooks) && (os_hooks)->print_trace) { \
35 (os_hooks)->print_trace((fmt), ##args); \
42 // We need to check the hook structure at runtime to ensure its SAFE
43 #define VMMMalloc(size) \
45 extern struct vmm_os_hooks * os_hooks; \
46 if ((os_hooks) && (os_hooks)->malloc) { \
47 (os_hooks)->malloc(size); \
55 #define VMM_INVALID_CPU 0
61 typedef struct guest_info {
65 vmm_mem_map_t mem_map;
74 /* We need a memory map and an IO device map */
76 /* This will contain function pointers that provide OS services */
78 void (*print_info)(const char * format, ...);
79 void (*print_debug)(const char * format, ...);
80 void (*print_trace)(const char * format, ...);
82 void *(*Allocate_Pages)(int numPages);
83 void (*Free_Page)(void * page);
85 void *(*malloc)(uint_t size);
86 void (*free)(void * addr);
89 void (*start_kernel_thread)(); // include pointer to function
95 /* This will contain Function pointers that control the VMs */
97 int (*init_guest)(struct guest_info* info);
98 int (*start_guest)(struct guest_info * info);
99 // int (*stop_vm)(uint_t vm_id);
108 void Init_VMM(struct vmm_os_hooks * hooks, struct vmm_ctrl_ops * vmm_ops);