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.