Searched refs:MsiFrameId (Results 1 – 3 of 3) sorted by relevance
280 device_printf(dev, "frame: %x %lx %x %u %u\n", msi->MsiFrameId, in madt_gicv2m_handler()
1462 UINT32 MsiFrameId; member
945 {ACPI_DMT_UINT32, ACPI_MADT13_OFFSET (MsiFrameId), "MSI Frame ID", 0},