ACPI_TABLE_MADT
UINT32 Offset = sizeof (ACPI_TABLE_MADT);
ACPI_TABLE_MADT madt;
ACPI_TABLE_MADT *mp = NULL;
static ACPI_TABLE_MADT *acpi_mapic_dtp = NULL;
process_madt_entries(ACPI_TABLE_MADT *tp, uint32_t *cpu_countp,
process_madt(ACPI_TABLE_MADT *tp)
process_madt((ACPI_TABLE_MADT *)tp);
ACPI_TABLE_MADT *mat;
static ACPI_TABLE_MADT *acpi_mapic_dtp = NULL;
#define ACPI_MADT_OFFSET(f) (UINT16) ACPI_OFFSET (ACPI_TABLE_MADT,f)
#define ACPI_MADT_FLAG_OFFSET(f,o) ACPI_FLAG_OFFSET (ACPI_TABLE_MADT,f,o)