18.1 About the Programmable Interrupt Controller

The virtual programmable interrupt controller device routes hardware interrupts to other virtual devices, provides services that allow virtual devices to request interrupts, and simulates hardware interrupts into virtual machines.

The virtual programmable interrupt controller device provides the following services:

VPICD_Call_When_Hw_Int
VPICD_Clear_Int_Request
VPICD_Convert_Handle_To_IRQ
VPICD_Convert_Int_To_IRQ
VPICD_Convert_IRQ_To_Int
VPICD_Force_Default_Behavior
VPICD_Force_Default_Owner
VPICD_Get_Complete_Status
VPICD_Get_IRQ_Complete_Status
VPICD_Get_Status
VPICD_Get_Version
VPICD_Phys_EOI
VPICD_Physically_Mask
VPICD_Physically_Unmask
VPICD_Set_Auto_Masking
VPICD_Set_Int_Request
VPICD_Test_Phys_Request
VPICD_Virtualize_IRQ