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) {