x2count          1039 arch/x86/kernel/acpi/boot.c 	int x2count = 0;
x2count          1065 arch/x86/kernel/acpi/boot.c 		x2count = madt_proc[1].count;
x2count          1067 arch/x86/kernel/acpi/boot.c 	if (!count && !x2count) {
x2count          1071 arch/x86/kernel/acpi/boot.c 	} else if (count < 0 || x2count < 0) {
x2count          1077 arch/x86/kernel/acpi/boot.c 	x2count = acpi_table_parse_madt(ACPI_MADT_TYPE_LOCAL_X2APIC_NMI,
x2count          1081 arch/x86/kernel/acpi/boot.c 	if (count < 0 || x2count < 0) {