Searched refs:madt (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/usr/acpi/arch/armv8/ |
| H A D | acpi_interrupts_arch.c | 33 ACPI_TABLE_MADT *madt; local
46 madt = (ACPI_TABLE_MADT*)ath;
49 ACPI_DEBUG("MADT Revision: %u, Size=%u, OEM=%s\n", madt->Header.Revision,
50 madt->Header.Length, madt->Header.OemId);
52 //uint8_t revision = madt->Header.Revision;
55 void *p = (void *)madt + sizeof(ACPI_TABLE_MADT);
56 while(p < (void *)madt + madt->Header.Length) {
275 if (strncmp(madt
[all...] |
| /barrelfish-master/usr/acpi/arch/x86/ |
| H A D | acpi_interrupts_arch.c | 177 ACPI_TABLE_MADT *madt; local
196 madt = (ACPI_TABLE_MADT*)ath;
200 ACPI_DEBUG("Local APIC is at 0x%"PRIx32"\n", madt->Address);
202 madt->Address,
208 if((madt->Flags & ACPI_MADT_PCAT_COMPAT) == ACPI_MADT_MULTIPLE_APIC) {
213 void *p = (void *)madt + sizeof(ACPI_TABLE_MADT);
214 while(p < (void *)madt + madt->Header.Length) {
251 r = init_one_local_apic(s, madt->Address);
406 if (strncmp(madt
[all...] |
| /barrelfish-master/usr/acpi/ |
| H A D | acpi_parse_madt.c | 383 ACPI_TABLE_MADT *madt; local
394 madt = (ACPI_TABLE_MADT*)ath;
398 ACPI_DEBUG("MADT Revision: %u, Size=%u, OEM=%s\n", madt->Header.Revision,
399 madt->Header.Length, madt->Header.OemId);
401 void *p = (void *)madt + sizeof(ACPI_TABLE_MADT);
402 void *table_end = (void *)madt + madt->Header.Length;
|
Completed in 37 milliseconds