Assertion: interrupt | /r/HasProperty | allocated to driver
Facets:
Source sentences:
text: For example, if 2 MSI-X interrupts are allocated to a driver and 32 interrupts are supported on the device, then the driver can use ddi_intr_dup_handler to alias the 2 interrupts it received to the 30 additional interrupts on the device.