Searched refs:ACPI_DBG2_HEADER (Results 1 – 2 of 2) sorted by relevance
499 ACPI_DBG2_HEADER *Dbg2Header; in DtCompileDbg2()518 Dbg2Header = ACPI_CAST_PTR (ACPI_DBG2_HEADER, Subtable->Buffer); in DtCompileDbg2()520 ACPI_ADD_PTR (UINT8, Dbg2Header, sizeof (ACPI_DBG2_HEADER)), Dbg2Header); in DtCompileDbg2()
628 } ACPI_DBG2_HEADER; typedef