madt.c revision 284175
1/*-
2 * Copyright (c) 2003 John Baldwin <jhb@FreeBSD.org>
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright
9 *    notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 *    notice, this list of conditions and the following disclaimer in the
12 *    documentation and/or other materials provided with the distribution.
13 *
14 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
15 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24 * SUCH DAMAGE.
25 */
26
27#include <sys/cdefs.h>
28__FBSDID("$FreeBSD: head/sys/x86/acpica/madt.c 284175 2015-06-09 10:49:40Z jhb $");
29
30#include <sys/param.h>
31#include <sys/systm.h>
32#include <sys/bus.h>
33#include <sys/kernel.h>
34#include <sys/limits.h>
35#include <sys/malloc.h>
36#include <sys/smp.h>
37#include <vm/vm.h>
38#include <vm/pmap.h>
39
40#include <x86/apicreg.h>
41#include <machine/intr_machdep.h>
42#include <x86/apicvar.h>
43#include <machine/md_var.h>
44#include <x86/vmware.h>
45
46#include <contrib/dev/acpica/include/acpi.h>
47#include <contrib/dev/acpica/include/actables.h>
48
49#include <dev/acpica/acpivar.h>
50#include <dev/pci/pcivar.h>
51
52/* These two arrays are indexed by APIC IDs. */
53static struct {
54	void *io_apic;
55	UINT32 io_vector;
56} *ioapics;
57
58static struct lapic_info {
59	u_int la_enabled;
60	u_int la_acpi_id;
61} lapics[MAX_APIC_ID + 1];
62
63int madt_found_sci_override;
64static ACPI_TABLE_MADT *madt;
65static vm_paddr_t madt_physaddr;
66static vm_offset_t madt_length;
67
68static MALLOC_DEFINE(M_MADT, "madt_table", "ACPI MADT Table Items");
69
70static enum intr_polarity interrupt_polarity(UINT16 IntiFlags, UINT8 Source);
71static enum intr_trigger interrupt_trigger(UINT16 IntiFlags, UINT8 Source);
72static int	madt_find_cpu(u_int acpi_id, u_int *apic_id);
73static int	madt_find_interrupt(int intr, void **apic, u_int *pin);
74static void	madt_parse_apics(ACPI_SUBTABLE_HEADER *entry, void *arg);
75static void	madt_parse_interrupt_override(
76		    ACPI_MADT_INTERRUPT_OVERRIDE *intr);
77static void	madt_parse_ints(ACPI_SUBTABLE_HEADER *entry,
78		    void *arg __unused);
79static void	madt_parse_local_nmi(ACPI_MADT_LOCAL_APIC_NMI *nmi);
80static void	madt_parse_nmi(ACPI_MADT_NMI_SOURCE *nmi);
81static int	madt_probe(void);
82static int	madt_probe_cpus(void);
83static void	madt_probe_cpus_handler(ACPI_SUBTABLE_HEADER *entry,
84		    void *arg __unused);
85static void	madt_register(void *dummy);
86static int	madt_setup_local(void);
87static int	madt_setup_io(void);
88static void	madt_walk_table(acpi_subtable_handler *handler, void *arg);
89
90static struct apic_enumerator madt_enumerator = {
91	"MADT",
92	madt_probe,
93	madt_probe_cpus,
94	madt_setup_local,
95	madt_setup_io
96};
97
98/*
99 * Look for an ACPI Multiple APIC Description Table ("APIC")
100 */
101static int
102madt_probe(void)
103{
104
105	madt_physaddr = acpi_find_table(ACPI_SIG_MADT);
106	if (madt_physaddr == 0)
107		return (ENXIO);
108	return (-50);
109}
110
111/*
112 * Run through the MP table enumerating CPUs.
113 */
114static int
115madt_probe_cpus(void)
116{
117
118	madt = acpi_map_table(madt_physaddr, ACPI_SIG_MADT);
119	madt_length = madt->Header.Length;
120	KASSERT(madt != NULL, ("Unable to re-map MADT"));
121	madt_walk_table(madt_probe_cpus_handler, NULL);
122	acpi_unmap_table(madt);
123	madt = NULL;
124	return (0);
125}
126
127/*
128 * Initialize the local APIC on the BSP.
129 */
130static int
131madt_setup_local(void)
132{
133	ACPI_TABLE_DMAR *dmartbl;
134	vm_paddr_t dmartbl_physaddr;
135	u_int p[4];
136
137	madt = pmap_mapbios(madt_physaddr, madt_length);
138	if ((cpu_feature2 & CPUID2_X2APIC) != 0) {
139		x2apic_mode = 1;
140		dmartbl_physaddr = acpi_find_table(ACPI_SIG_DMAR);
141		if (dmartbl_physaddr != 0) {
142			dmartbl = acpi_map_table(dmartbl_physaddr,
143			    ACPI_SIG_DMAR);
144			if ((dmartbl->Flags & ACPI_DMAR_X2APIC_OPT_OUT) != 0) {
145				x2apic_mode = 0;
146				if (bootverbose)
147					printf(
148		"x2APIC available but disabled by DMAR table\n");
149			}
150			acpi_unmap_table(dmartbl);
151		}
152		if (vm_guest == VM_GUEST_VMWARE) {
153			vmware_hvcall(VMW_HVCMD_GETVCPU_INFO, p);
154			if ((p[0] & VMW_VCPUINFO_VCPU_RESERVED) != 0 ||
155			    (p[0] & VMW_VCPUINFO_LEGACY_X2APIC) == 0) {
156				x2apic_mode = 0;
157				if (bootverbose)
158					printf(
159       "x2APIC available but disabled inside VMWare without intr redirection\n");
160			}
161		} else if (vm_guest == VM_GUEST_XEN) {
162			x2apic_mode = 0;
163		}
164		TUNABLE_INT_FETCH("hw.x2apic_enable", &x2apic_mode);
165	}
166
167	lapic_init(madt->Address);
168	printf("ACPI APIC Table: <%.*s %.*s>\n",
169	    (int)sizeof(madt->Header.OemId), madt->Header.OemId,
170	    (int)sizeof(madt->Header.OemTableId), madt->Header.OemTableId);
171
172	/*
173	 * We ignore 64-bit local APIC override entries.  Should we
174	 * perhaps emit a warning here if we find one?
175	 */
176	return (0);
177}
178
179/*
180 * Enumerate I/O APICs and setup interrupt sources.
181 */
182static int
183madt_setup_io(void)
184{
185	void *ioapic;
186	u_int pin;
187	int i;
188
189	/* Try to initialize ACPI so that we can access the FADT. */
190	i = acpi_Startup();
191	if (ACPI_FAILURE(i)) {
192		printf("MADT: ACPI Startup failed with %s\n",
193		    AcpiFormatException(i));
194		printf("Try disabling either ACPI or apic support.\n");
195		panic("Using MADT but ACPI doesn't work");
196	}
197
198	ioapics = malloc(sizeof(*ioapics) * (MAX_APIC_ID + 1), M_MADT,
199	    M_WAITOK | M_ZERO);
200
201	/* First, we run through adding I/O APIC's. */
202	madt_walk_table(madt_parse_apics, NULL);
203
204	/* Second, we run through the table tweaking interrupt sources. */
205	madt_walk_table(madt_parse_ints, NULL);
206
207	/*
208	 * If there was not an explicit override entry for the SCI,
209	 * force it to use level trigger and active-low polarity.
210	 */
211	if (!madt_found_sci_override) {
212		if (madt_find_interrupt(AcpiGbl_FADT.SciInterrupt, &ioapic,
213		    &pin) != 0)
214			printf("MADT: Could not find APIC for SCI IRQ %u\n",
215			    AcpiGbl_FADT.SciInterrupt);
216		else {
217			printf(
218	"MADT: Forcing active-low polarity and level trigger for SCI\n");
219			ioapic_set_polarity(ioapic, pin, INTR_POLARITY_LOW);
220			ioapic_set_triggermode(ioapic, pin, INTR_TRIGGER_LEVEL);
221		}
222	}
223
224	/* Third, we register all the I/O APIC's. */
225	for (i = 0; i <= MAX_APIC_ID; i++)
226		if (ioapics[i].io_apic != NULL)
227			ioapic_register(ioapics[i].io_apic);
228
229	/* Finally, we throw the switch to enable the I/O APIC's. */
230	acpi_SetDefaultIntrModel(ACPI_INTR_APIC);
231
232	free(ioapics, M_MADT);
233	ioapics = NULL;
234
235	return (0);
236}
237
238static void
239madt_register(void *dummy __unused)
240{
241
242	apic_register_enumerator(&madt_enumerator);
243}
244SYSINIT(madt_register, SI_SUB_TUNABLES - 1, SI_ORDER_FIRST, madt_register, NULL);
245
246/*
247 * Call the handler routine for each entry in the MADT table.
248 */
249static void
250madt_walk_table(acpi_subtable_handler *handler, void *arg)
251{
252
253	acpi_walk_subtables(madt + 1, (char *)madt + madt->Header.Length,
254	    handler, arg);
255}
256
257static void
258madt_add_cpu(u_int acpi_id, u_int apic_id, u_int flags)
259{
260	struct lapic_info *la;
261
262	/*
263	 * The MADT does not include a BSP flag, so we have to let the
264	 * MP code figure out which CPU is the BSP on its own.
265	 */
266	if (bootverbose)
267		printf("MADT: Found CPU APIC ID %u ACPI ID %u: %s\n",
268		    apic_id, acpi_id, flags & ACPI_MADT_ENABLED ?
269		    "enabled" : "disabled");
270	if (!(flags & ACPI_MADT_ENABLED))
271		return;
272	if (apic_id > MAX_APIC_ID) {
273		printf("MADT: Ignoring local APIC ID %u (too high)\n",
274		    apic_id);
275		return;
276	}
277
278	la = &lapics[apic_id];
279	KASSERT(la->la_enabled == 0, ("Duplicate local APIC ID %u", apic_id));
280	la->la_enabled = 1;
281	la->la_acpi_id = acpi_id;
282	lapic_create(apic_id, 0);
283}
284
285static void
286madt_probe_cpus_handler(ACPI_SUBTABLE_HEADER *entry, void *arg)
287{
288	ACPI_MADT_LOCAL_APIC *proc;
289	ACPI_MADT_LOCAL_X2APIC *x2apic;
290
291	switch (entry->Type) {
292	case ACPI_MADT_TYPE_LOCAL_APIC:
293		proc = (ACPI_MADT_LOCAL_APIC *)entry;
294		madt_add_cpu(proc->ProcessorId, proc->Id, proc->LapicFlags);
295		break;
296	case ACPI_MADT_TYPE_LOCAL_X2APIC:
297		x2apic = (ACPI_MADT_LOCAL_X2APIC *)entry;
298		madt_add_cpu(x2apic->Uid, x2apic->LocalApicId,
299		    x2apic->LapicFlags);
300		break;
301	}
302}
303
304
305/*
306 * Add an I/O APIC from an entry in the table.
307 */
308static void
309madt_parse_apics(ACPI_SUBTABLE_HEADER *entry, void *arg __unused)
310{
311	ACPI_MADT_IO_APIC *apic;
312
313	switch (entry->Type) {
314	case ACPI_MADT_TYPE_IO_APIC:
315		apic = (ACPI_MADT_IO_APIC *)entry;
316		if (bootverbose)
317			printf(
318			    "MADT: Found IO APIC ID %u, Interrupt %u at %p\n",
319			    apic->Id, apic->GlobalIrqBase,
320			    (void *)(uintptr_t)apic->Address);
321		if (apic->Id > MAX_APIC_ID)
322			panic("%s: I/O APIC ID %u too high", __func__,
323			    apic->Id);
324		if (ioapics[apic->Id].io_apic != NULL)
325			panic("%s: Double APIC ID %u", __func__, apic->Id);
326		if (apic->GlobalIrqBase >= FIRST_MSI_INT) {
327			printf("MADT: Ignoring bogus I/O APIC ID %u", apic->Id);
328			break;
329		}
330		ioapics[apic->Id].io_apic = ioapic_create(apic->Address,
331		    apic->Id, apic->GlobalIrqBase);
332		ioapics[apic->Id].io_vector = apic->GlobalIrqBase;
333		break;
334	default:
335		break;
336	}
337}
338
339/*
340 * Determine properties of an interrupt source.  Note that for ACPI these
341 * functions are only used for ISA interrupts, so we assume ISA bus values
342 * (Active Hi, Edge Triggered) for conforming values except for the ACPI
343 * SCI for which we use Active Lo, Level Triggered.
344 */
345static enum intr_polarity
346interrupt_polarity(UINT16 IntiFlags, UINT8 Source)
347{
348
349	switch (IntiFlags & ACPI_MADT_POLARITY_MASK) {
350	default:
351		printf("WARNING: Bogus Interrupt Polarity. Assume CONFORMS\n");
352		/* FALLTHROUGH*/
353	case ACPI_MADT_POLARITY_CONFORMS:
354		if (Source == AcpiGbl_FADT.SciInterrupt)
355			return (INTR_POLARITY_LOW);
356		else
357			return (INTR_POLARITY_HIGH);
358	case ACPI_MADT_POLARITY_ACTIVE_HIGH:
359		return (INTR_POLARITY_HIGH);
360	case ACPI_MADT_POLARITY_ACTIVE_LOW:
361		return (INTR_POLARITY_LOW);
362	}
363}
364
365static enum intr_trigger
366interrupt_trigger(UINT16 IntiFlags, UINT8 Source)
367{
368
369	switch (IntiFlags & ACPI_MADT_TRIGGER_MASK) {
370	default:
371		printf("WARNING: Bogus Interrupt Trigger Mode. Assume CONFORMS.\n");
372		/*FALLTHROUGH*/
373	case ACPI_MADT_TRIGGER_CONFORMS:
374		if (Source == AcpiGbl_FADT.SciInterrupt)
375			return (INTR_TRIGGER_LEVEL);
376		else
377			return (INTR_TRIGGER_EDGE);
378	case ACPI_MADT_TRIGGER_EDGE:
379		return (INTR_TRIGGER_EDGE);
380	case ACPI_MADT_TRIGGER_LEVEL:
381		return (INTR_TRIGGER_LEVEL);
382	}
383}
384
385/*
386 * Find the local APIC ID associated with a given ACPI Processor ID.
387 */
388static int
389madt_find_cpu(u_int acpi_id, u_int *apic_id)
390{
391	int i;
392
393	for (i = 0; i <= MAX_APIC_ID; i++) {
394		if (!lapics[i].la_enabled)
395			continue;
396		if (lapics[i].la_acpi_id != acpi_id)
397			continue;
398		*apic_id = i;
399		return (0);
400	}
401	return (ENOENT);
402}
403
404/*
405 * Find the IO APIC and pin on that APIC associated with a given global
406 * interrupt.
407 */
408static int
409madt_find_interrupt(int intr, void **apic, u_int *pin)
410{
411	int i, best;
412
413	best = -1;
414	for (i = 0; i <= MAX_APIC_ID; i++) {
415		if (ioapics[i].io_apic == NULL ||
416		    ioapics[i].io_vector > intr)
417			continue;
418		if (best == -1 ||
419		    ioapics[best].io_vector < ioapics[i].io_vector)
420			best = i;
421	}
422	if (best == -1)
423		return (ENOENT);
424	*apic = ioapics[best].io_apic;
425	*pin = intr - ioapics[best].io_vector;
426	if (*pin > 32)
427		printf("WARNING: Found intpin of %u for vector %d\n", *pin,
428		    intr);
429	return (0);
430}
431
432void
433madt_parse_interrupt_values(void *entry,
434    enum intr_trigger *trig, enum intr_polarity *pol)
435{
436	ACPI_MADT_INTERRUPT_OVERRIDE *intr;
437	char buf[64];
438
439	intr = entry;
440
441	if (bootverbose)
442		printf("MADT: Interrupt override: source %u, irq %u\n",
443		    intr->SourceIrq, intr->GlobalIrq);
444	KASSERT(intr->Bus == 0, ("bus for interrupt overrides must be zero"));
445
446	/*
447	 * Lookup the appropriate trigger and polarity modes for this
448	 * entry.
449	 */
450	*trig = interrupt_trigger(intr->IntiFlags, intr->SourceIrq);
451	*pol = interrupt_polarity(intr->IntiFlags, intr->SourceIrq);
452
453	/*
454	 * If the SCI is identity mapped but has edge trigger and
455	 * active-hi polarity or the force_sci_lo tunable is set,
456	 * force it to use level/lo.
457	 */
458	if (intr->SourceIrq == AcpiGbl_FADT.SciInterrupt) {
459		madt_found_sci_override = 1;
460		if (getenv_string("hw.acpi.sci.trigger", buf, sizeof(buf))) {
461			if (tolower(buf[0]) == 'e')
462				*trig = INTR_TRIGGER_EDGE;
463			else if (tolower(buf[0]) == 'l')
464				*trig = INTR_TRIGGER_LEVEL;
465			else
466				panic(
467				"Invalid trigger %s: must be 'edge' or 'level'",
468				    buf);
469			printf("MADT: Forcing SCI to %s trigger\n",
470			    *trig == INTR_TRIGGER_EDGE ? "edge" : "level");
471		}
472		if (getenv_string("hw.acpi.sci.polarity", buf, sizeof(buf))) {
473			if (tolower(buf[0]) == 'h')
474				*pol = INTR_POLARITY_HIGH;
475			else if (tolower(buf[0]) == 'l')
476				*pol = INTR_POLARITY_LOW;
477			else
478				panic(
479				"Invalid polarity %s: must be 'high' or 'low'",
480				    buf);
481			printf("MADT: Forcing SCI to active %s polarity\n",
482			    *pol == INTR_POLARITY_HIGH ? "high" : "low");
483		}
484	}
485}
486
487/*
488 * Parse an interrupt source override for an ISA interrupt.
489 */
490static void
491madt_parse_interrupt_override(ACPI_MADT_INTERRUPT_OVERRIDE *intr)
492{
493	void *new_ioapic, *old_ioapic;
494	u_int new_pin, old_pin;
495	enum intr_trigger trig;
496	enum intr_polarity pol;
497
498	if (acpi_quirks & ACPI_Q_MADT_IRQ0 && intr->SourceIrq == 0 &&
499	    intr->GlobalIrq == 2) {
500		if (bootverbose)
501			printf("MADT: Skipping timer override\n");
502		return;
503	}
504
505	if (madt_find_interrupt(intr->GlobalIrq, &new_ioapic, &new_pin) != 0) {
506		printf("MADT: Could not find APIC for vector %u (IRQ %u)\n",
507		    intr->GlobalIrq, intr->SourceIrq);
508		return;
509	}
510
511	madt_parse_interrupt_values(intr, &trig, &pol);
512
513	/* Remap the IRQ if it is mapped to a different interrupt vector. */
514	if (intr->SourceIrq != intr->GlobalIrq) {
515		/*
516		 * If the SCI is remapped to a non-ISA global interrupt,
517		 * then override the vector we use to setup and allocate
518		 * the interrupt.
519		 */
520		if (intr->GlobalIrq > 15 &&
521		    intr->SourceIrq == AcpiGbl_FADT.SciInterrupt)
522			acpi_OverrideInterruptLevel(intr->GlobalIrq);
523		else
524			ioapic_remap_vector(new_ioapic, new_pin,
525			    intr->SourceIrq);
526		if (madt_find_interrupt(intr->SourceIrq, &old_ioapic,
527		    &old_pin) != 0)
528			printf("MADT: Could not find APIC for source IRQ %u\n",
529			    intr->SourceIrq);
530		else if (ioapic_get_vector(old_ioapic, old_pin) ==
531		    intr->SourceIrq)
532			ioapic_disable_pin(old_ioapic, old_pin);
533	}
534
535	/* Program the polarity and trigger mode. */
536	ioapic_set_triggermode(new_ioapic, new_pin, trig);
537	ioapic_set_polarity(new_ioapic, new_pin, pol);
538}
539
540/*
541 * Parse an entry for an NMI routed to an IO APIC.
542 */
543static void
544madt_parse_nmi(ACPI_MADT_NMI_SOURCE *nmi)
545{
546	void *ioapic;
547	u_int pin;
548
549	if (madt_find_interrupt(nmi->GlobalIrq, &ioapic, &pin) != 0) {
550		printf("MADT: Could not find APIC for vector %u\n",
551		    nmi->GlobalIrq);
552		return;
553	}
554
555	ioapic_set_nmi(ioapic, pin);
556	if (!(nmi->IntiFlags & ACPI_MADT_TRIGGER_CONFORMS))
557		ioapic_set_triggermode(ioapic, pin,
558		    interrupt_trigger(nmi->IntiFlags, 0));
559	if (!(nmi->IntiFlags & ACPI_MADT_POLARITY_CONFORMS))
560		ioapic_set_polarity(ioapic, pin,
561		    interrupt_polarity(nmi->IntiFlags, 0));
562}
563
564/*
565 * Parse an entry for an NMI routed to a local APIC LVT pin.
566 */
567static void
568madt_handle_local_nmi(u_int acpi_id, UINT8 Lint, UINT16 IntiFlags)
569{
570	u_int apic_id, pin;
571
572	if (acpi_id == 0xffffffff)
573		apic_id = APIC_ID_ALL;
574	else if (madt_find_cpu(acpi_id, &apic_id) != 0) {
575		if (bootverbose)
576			printf("MADT: Ignoring local NMI routed to "
577			    "ACPI CPU %u\n", acpi_id);
578		return;
579	}
580	if (Lint == 0)
581		pin = APIC_LVT_LINT0;
582	else
583		pin = APIC_LVT_LINT1;
584	lapic_set_lvt_mode(apic_id, pin, APIC_LVT_DM_NMI);
585	if (!(IntiFlags & ACPI_MADT_TRIGGER_CONFORMS))
586		lapic_set_lvt_triggermode(apic_id, pin,
587		    interrupt_trigger(IntiFlags, 0));
588	if (!(IntiFlags & ACPI_MADT_POLARITY_CONFORMS))
589		lapic_set_lvt_polarity(apic_id, pin,
590		    interrupt_polarity(IntiFlags, 0));
591}
592
593static void
594madt_parse_local_nmi(ACPI_MADT_LOCAL_APIC_NMI *nmi)
595{
596
597	madt_handle_local_nmi(nmi->ProcessorId == 0xff ? 0xffffffff :
598	    nmi->ProcessorId, nmi->Lint, nmi->IntiFlags);
599}
600
601static void
602madt_parse_local_x2apic_nmi(ACPI_MADT_LOCAL_X2APIC_NMI *nmi)
603{
604
605	madt_handle_local_nmi(nmi->Uid, nmi->Lint, nmi->IntiFlags);
606}
607
608/*
609 * Parse interrupt entries.
610 */
611static void
612madt_parse_ints(ACPI_SUBTABLE_HEADER *entry, void *arg __unused)
613{
614
615	switch (entry->Type) {
616	case ACPI_MADT_TYPE_INTERRUPT_OVERRIDE:
617		madt_parse_interrupt_override(
618			(ACPI_MADT_INTERRUPT_OVERRIDE *)entry);
619		break;
620	case ACPI_MADT_TYPE_NMI_SOURCE:
621		madt_parse_nmi((ACPI_MADT_NMI_SOURCE *)entry);
622		break;
623	case ACPI_MADT_TYPE_LOCAL_APIC_NMI:
624		madt_parse_local_nmi((ACPI_MADT_LOCAL_APIC_NMI *)entry);
625		break;
626	case ACPI_MADT_TYPE_LOCAL_X2APIC_NMI:
627		madt_parse_local_x2apic_nmi(
628		    (ACPI_MADT_LOCAL_X2APIC_NMI *)entry);
629		break;
630	}
631}
632
633/*
634 * Setup per-CPU ACPI IDs.
635 */
636static void
637madt_set_ids(void *dummy)
638{
639	struct lapic_info *la;
640	struct pcpu *pc;
641	u_int i;
642
643	if (madt == NULL)
644		return;
645	CPU_FOREACH(i) {
646		pc = pcpu_find(i);
647		KASSERT(pc != NULL, ("no pcpu data for CPU %u", i));
648		la = &lapics[pc->pc_apic_id];
649		if (!la->la_enabled)
650			panic("APIC: CPU with APIC ID %u is not enabled",
651			    pc->pc_apic_id);
652		pc->pc_acpi_id = la->la_acpi_id;
653		if (bootverbose)
654			printf("APIC: CPU %u has ACPI ID %u\n", i,
655			    la->la_acpi_id);
656	}
657}
658SYSINIT(madt_set_ids, SI_SUB_CPU, SI_ORDER_MIDDLE, madt_set_ids, NULL);
659