include vpicd.inc
mov eax, IRQHandle
mov ebx, VMHandle
VxDcall VPICD_Clear_Int_Request
Resets an IRQ request that was previously set by a call to the VPICD_Set_Int_Request service. Uses Flags.
If the IRQ is being shared and another device has also set the virtual IRQ, this service does not reset the virtual request immediately. Instead, the request is reset only after the other device calls VPICD_Clear_Int_Request.