X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=df221342df8a1f5264a6da029468c6b5c044695d;hp=746faba3fe62927362e1b23632d4ad1d06856e2f;hb=28b1d0ae6db40cb3e1f5a9b3596b625d2f2af0e4;hpb=ace8f0532fa5650c6642a3a7174f3aa19b09095a diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h index 746faba..df22134 100644 --- a/palacios/include/palacios/vmm.h +++ b/palacios/include/palacios/vmm.h @@ -85,6 +85,9 @@ struct vmm_os_hooks { void *(*paddr_to_vaddr)(void *addr); void *(*vaddr_to_paddr)(void *addr); + int (*hook_interrupt)(struct guest_info * info, int irq); + int (*ack_irq)(int irq); + // Do we need this here? void (*snprintf)(char * dst, char * format, int len, ...); @@ -98,10 +101,12 @@ struct vmm_ctrl_ops { int (*init_guest)(struct guest_info* info); int (*start_guest)(struct guest_info * info); // int (*stop_vm)(uint_t vm_id); -}; +}; + + void Init_VMM(struct vmm_os_hooks * hooks, struct vmm_ctrl_ops * vmm_ops);