Symbol: ACPI_DBG2_HEADER
usr/src/cmd/acpi/iasl/dttable1.c
499
ACPI_DBG2_HEADER *Dbg2Header;
usr/src/cmd/acpi/iasl/dttable1.c
518
Dbg2Header = ACPI_CAST_PTR (ACPI_DBG2_HEADER, Subtable->Buffer);
usr/src/cmd/acpi/iasl/dttable1.c
520
ACPI_ADD_PTR (UINT8, Dbg2Header, sizeof (ACPI_DBG2_HEADER)), Dbg2Header);