Searched refs:ACPI_DBG2_DEVICE (Results 1 – 5 of 5) sorted by relevance
1292 ACPI_DBG2_DEVICE *Subtable; in AcpiDmDumpDbg2()1311 Subtable = ACPI_ADD_PTR (ACPI_DBG2_DEVICE, Table, Offset); in AcpiDmDumpDbg2()1386 Subtable = ACPI_ADD_PTR (ACPI_DBG2_DEVICE, Subtable, in AcpiDmDumpDbg2()
1288 ACPI_DBG2_DEVICE *DeviceInfo; in DtCompileDbg2()1326 DeviceInfo = ACPI_CAST_PTR (ACPI_DBG2_DEVICE, Subtable->Buffer); in DtCompileDbg2()1327 CurrentOffset = (UINT16) sizeof (ACPI_DBG2_DEVICE); in DtCompileDbg2()
1021 } ACPI_DBG2_DEVICE; typedef
270 #define ACPI_DBG20_OFFSET(f) (UINT16) ACPI_OFFSET (ACPI_DBG2_DEVICE,f)
1482 acpi_print_dbg2_device(ACPI_DBG2_DEVICE *dev) in acpi_print_dbg2_device()1544 ACPI_DBG2_DEVICE *device; in acpi_handle_dbg2()1552 device = (ACPI_DBG2_DEVICE *)((vaddr_t)sdp + dbg2->InfoOffset); in acpi_handle_dbg2()