This IOCTL maps a HW IRQ number to a SYSINTR number.
#define IOCTL_HAL_REQUEST_SYSINTR CTL_CODE(FILE_DEVICE_HAL, 38, METHOD_BUFFERED, FILE_ANY_ACCESS)
You can find a sample in the SourceCode examples.