include vpicd.inc
mov eax, IRQNum
mov ebx, VMHandle
VxDcall VPICD_Convert_IRQ_To_Int
jc not_valid
mov [VecNum], eax
Retrieves the interrupt vector number that corresponds to the specified IRQ number for the given virtual machine. Uses EAX and Flags.
Since virtual machines can map IRQ numbers of the virtual PIC to any interrupt vector numbers, virtual devices should always explicitly check which interrupt vector is mapped to a particular IRQ.