Quelqu'un sait-il comment je peux savoir à quel périphérique est assigné quel irq, et en avoir la liste exhaustive ?

Merci !