Searched refs:ACPI_DBG2_HEADER (Results 1 – 2 of 2) sorted by relevance
1287 ACPI_DBG2_HEADER *Dbg2Header; in DtCompileDbg2()1306 Dbg2Header = ACPI_CAST_PTR (ACPI_DBG2_HEADER, Subtable->Buffer); in DtCompileDbg2()1308 ACPI_ADD_PTR (UINT8, Dbg2Header, sizeof (ACPI_DBG2_HEADER)), Dbg2Header); in DtCompileDbg2()
993 } ACPI_DBG2_HEADER; typedef