Symbol: dbg2
usr.sbin/acpitools/acpidump/acpi.c
1543
ACPI_TABLE_DBG2 *dbg2;
usr.sbin/acpitools/acpidump/acpi.c
1549
dbg2 = (ACPI_TABLE_DBG2 *)sdp;
usr.sbin/acpitools/acpidump/acpi.c
1551
printf("\tCount=%u\n", dbg2->InfoCount);
usr.sbin/acpitools/acpidump/acpi.c
1552
device = (ACPI_DBG2_DEVICE *)((vaddr_t)sdp + dbg2->InfoOffset);
usr.sbin/acpitools/acpidump/acpi.c
1553
for (i = 0; i < dbg2->InfoCount; i++) {