62 		    struct s_hardware *hardware)  in main_show_acpi()  argument
66     if (hardware->is_acpi_valid == false) {  in main_show_acpi()
75     if (hardware->acpi.rsdp.valid) {  in main_show_acpi()
76 	s_rsdp *r = &hardware->acpi.rsdp;  in main_show_acpi()
82     if (hardware->acpi.rsdt.valid)  in main_show_acpi()
83 	show_header(hardware->acpi.rsdt.address,  in main_show_acpi()
84 		       &hardware->acpi.rsdt.header);  in main_show_acpi()
86     if (hardware->acpi.xsdt.valid)  in main_show_acpi()
87 	show_header(hardware->acpi.xsdt.address,  in main_show_acpi()
88 		       &hardware->acpi.xsdt.header);  in main_show_acpi()
90     if (hardware->acpi.fadt.valid)  in main_show_acpi()
91 	show_header(hardware->acpi.fadt.address, &hardware->acpi.fadt.header);  in main_show_acpi()
93     if (hardware->acpi.dsdt.valid)  in main_show_acpi()
94 	show_header(hardware->acpi.dsdt.address, &hardware->acpi.dsdt.header);  in main_show_acpi()
97     for (int i = 0; i < hardware->acpi.ssdt_count; i++) {  in main_show_acpi()
98 	if ((hardware->acpi.ssdt[i] != NULL) && (hardware->acpi.ssdt[i]->valid))  in main_show_acpi()
99 	    show_header(hardware->acpi.ssdt[i]->address,  in main_show_acpi()
100 			&hardware->acpi.ssdt[i]->header);  in main_show_acpi()
103     if (hardware->acpi.sbst.valid)  in main_show_acpi()
104 	show_header(hardware->acpi.sbst.address, &hardware->acpi.sbst.header);  in main_show_acpi()
106     if (hardware->acpi.ecdt.valid)  in main_show_acpi()
107 	show_header(hardware->acpi.ecdt.address, &hardware->acpi.ecdt.header);  in main_show_acpi()
109     if (hardware->acpi.hpet.valid)  in main_show_acpi()
110 	show_header(hardware->acpi.hpet.address, &hardware->acpi.hpet.header);  in main_show_acpi()
112     if (hardware->acpi.tcpa.valid)  in main_show_acpi()
113 	show_header(hardware->acpi.tcpa.address, &hardware->acpi.tcpa.header);  in main_show_acpi()
115     if (hardware->acpi.mcfg.valid)  in main_show_acpi()
116 	show_header(hardware->acpi.mcfg.address, &hardware->acpi.mcfg.header);  in main_show_acpi()
118     if (hardware->acpi.slic.valid)  in main_show_acpi()
119 	show_header(hardware->acpi.slic.address, &hardware->acpi.slic.header);  in main_show_acpi()
121     if (hardware->acpi.boot.valid)  in main_show_acpi()
122 	show_header(hardware->acpi.boot.address, &hardware->acpi.boot.header);  in main_show_acpi()
125     if (hardware->acpi.facs.valid) {  in main_show_acpi()
126 	s_facs *fa = &hardware->acpi.facs;  in main_show_acpi()
132     if (hardware->acpi.madt.valid)  in main_show_acpi()
133 	show_header(hardware->acpi.madt.address, &hardware->acpi.madt.header);  in main_show_acpi()
135     more_printf("\nLocal APIC at 0x%08x\n", hardware->acpi.madt.local_apic_address);  in main_show_acpi()
245 			   struct s_hardware *hardware)  in show_acpi_apic()  argument
247     if (hardware->is_acpi_valid == false) {  in show_acpi_apic()
252     s_madt *madt = &hardware->acpi.madt;  in show_acpi_apic()