00001 #ifndef __INTERRUPT_H__ 00002 #define __INTERRUPT_H__ 00003 #include "hvmm_types.h" 00004 00005 hvmm_status_t hvmm_interrupt_init(void); 00006 #endif