Assertion: interrupt | /r/HasProperty | allocated by the pci bios
Facets:
Source sentences:
text: On the other hand, PCI devices have their interrupts allocated by the PCI BIOS or the PCI subsystem as PCI is initialized when the system boots.