Lines Matching refs:madt
132 if (hardware->acpi.madt.valid)
133 show_header(hardware->acpi.madt.address, &hardware->acpi.madt.header);
135 more_printf("\nLocal APIC at 0x%08x\n", hardware->acpi.madt.local_apic_address);
139 static void show_local_apic(s_madt * madt)
141 if (madt->processor_local_apic_count == 0) {
147 for (int i = 0; i < madt->processor_local_apic_count; i++) {
148 s_processor_local_apic *sla = &madt->processor_local_apic[i];
162 static void show_local_apic_nmi(s_madt * madt)
164 if (madt->local_apic_nmi_count == 0) {
169 for (int i = 0; i < madt->local_apic_nmi_count; i++) {
170 s_local_apic_nmi *slan = &madt->local_apic_nmi[i];
180 static void show_io_apic(s_madt * madt)
182 if (madt->io_apic_count == 0) {
188 for (int i = 0; i < madt->io_apic_count; i++) {
189 s_io_apic *sio = &madt->io_apic[i];
215 static void show_interrupt_source_override(s_madt * madt)
217 if (madt->interrupt_source_override_count == 0) {
223 for (int i = 0; i < madt->interrupt_source_override_count; i++) {
224 s_interrupt_source_override *siso = &madt->interrupt_source_override[i];
252 s_madt *madt = &hardware->acpi.madt;
254 if (madt->valid == false) {
255 more_printf("No APIC (MADT) table found\n");
259 more_printf("Local APIC at 0x%08x\n", madt->local_apic_address);
260 show_local_apic(madt);
261 show_local_apic_nmi(madt);
262 show_io_apic(madt);
263 show_interrupt_source_override(madt);
