Files: /kernel/x86_64/irq-chip-model.html