You are developing a device driver. The device driver must handle an interrupt. You need to ensure that the driver can identify the appropriate SYSINTR_ value for the interrupt. What should you do?
A.
Set the SYSTINTR_ value in the MEMORY section of config.bib.
B.
Set the interrupt request (IRQ) value in the MEMORY section of config.bib.
C.
Call the KernelIoControl function that contains the IOCTL_HAL_REQUEST_SYSINTR parameter and the interrupt request (IRQ) number.
D.
Call the DeviceIoControl function that contains the IOCTL_HAL_REQUEST_SYSINTR parameter and the interrupt request (IRQ) number.