5 #include <geekos/ktypes.h>
6 #include <geekos/string.h>
10 /* utility definitions */
11 #define PrintDebug(fmt, args...) \
13 extern struct vmm_os_hooks * os_hooks; \
14 if ((os_hooks) && (os_hooks)->print_debug) { \
15 (os_hooks)->print_debug((fmt), ##args); \
21 #define PrintInfo(fmt, args...) \
23 extern struct vmm_os_hooks * os_hooks; \
24 if ((os_hooks) && (os_hooks)->print_info) { \
25 (os_hooks)->print_info((fmt), ##args); \
30 #define PrintTrace(fmt, args...) \
32 extern struct vmm_os_hooks * os_hooks; \
33 if ((os_hooks) && (os_hooks)->print_trace) { \
34 (os_hooks)->print_trace((fmt), ##args); \
44 #define VMM_INVALID_CPU 0
49 /* This will contain function pointers that provide OS services */
51 void (*print_info)(const char * format, ...);
52 void (*print_debug)(const char * format, ...);
53 void (*print_trace)(const char * format, ...);
59 /* This will contain Function pointers that control the VMs */
67 void Init_VMM(struct vmm_os_hooks * hooks);