khypervisor: include/slotpirq.h Source File

Go to the documentation of this file.

00001 #ifndef __SLOTPIRQ_H__
00002 #define __SLOTPIRQ_H__
00003 #include <arch_types.h>
00004 #include <hvmm_types.h>
00005 #define SLOT_INVALID        0xFFFFFFFF
00006 
00007 void slotpirq_init(void);
00008 void slotpirq_set( vmid_t vmid, uint32_t slot, uint32_t pirq );
00009 uint32_t slotpirq_get(vmid_t vmid, uint32_t slot);
00010 void slotpirq_clear(vmid_t vmid, uint32_t slot);
00011 void slotvirq_set( vmid_t vmid, uint32_t slot, uint32_t virq );
00012 uint32_t slotvirq_getslot(vmid_t vmid, uint32_t virq);
00013 void slotvirq_clear(vmid_t vmid, uint32_t slot);
00014 
00015 #endif