Searched refs:ACPI_DBG2_DEVICE (Results 1 – 5 of 5) sorted by relevance
238 ACPI_DBG2_DEVICE *dbg2_dev; in uart_cpu_acpi_dbg2()258 dbg2_dev = (ACPI_DBG2_DEVICE *)((uintptr_t)dbg2 + dbg2->InfoOffset); in uart_cpu_acpi_dbg2()284 dbg2_dev = (ACPI_DBG2_DEVICE *) in uart_cpu_acpi_dbg2()
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()
1019 } ACPI_DBG2_DEVICE; typedef
270 #define ACPI_DBG20_OFFSET(f) (UINT16) ACPI_OFFSET (ACPI_DBG2_DEVICE,f)