khypervisor: vdev/vdev_gicd.h Source File

00001 #ifndef __VDEV_GICD_H__
00002 #define __VDEV_GICD_H__
00003 
00004 #include <hvmm_types.h>
00005 
00006 hvmm_status_t vdev_gicd_init(uint32_t base_addr);
00007 typedef void (*vgicd_changed_istatus_callback_t)(vmid_t vmid, uint32_t istatus, uint8_t word_offset);
00008 
00009 void vgicd_set_callback_changed_istatus(vgicd_changed_istatus_callback_t callback);
00010 #endif