prt_lookup_device
prt_walk_table(prtbuf, prt_lookup_device, &pr);
static void prt_lookup_device(ACPI_PCI_ROUTING_TABLE *entry, void *arg);