Dépannage du système | 323
REMARQUE : PCI_IRQ_POOL_DEFINITION signifie que le code du BIOS a été attribué code pendant l'exécution.