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