Searched refs:kACPIPciRootName (Results 1 – 1 of 1) sorted by relevance
27 const char* kACPIPciRootName = "PNP0A03"; variable775 status_t status = acpi->get_device(kACPIPciRootName, 0, rootPciName, 255); in read_irq_routing_table()