original_kernel/drivers/pci/intr_remapping.h