MAX_GSI_NUM 1103 arch/x86/kernel/acpi/boot.c static int gsi_to_irq[MAX_GSI_NUM]; MAX_GSI_NUM 1160 arch/x86/kernel/acpi/boot.c if (gsi < MAX_GSI_NUM) {