1018 xen_manage_device(uint8_t bus, uint8_t devfn)  in xen_manage_device()  argument
1037 		    managed_devlist[i].devfn == devfn)  in xen_manage_device()
1041 	manage_pci.devfn = devfn;  in xen_manage_device()
1046 		    " devfn:0x%x", bus, devfn);  in xen_manage_device()
1069 	managed_devlist[i].devfn = devfn;  in xen_manage_device()
1185 	int busnum, devfn;  in apic_alloc_msi_vectors()  local
1212 	get_busdevfn(dip, &busnum, &devfn);  in apic_alloc_msi_vectors()
1217 	if (!xen_manage_device(busnum, devfn))  in apic_alloc_msi_vectors()
1232 		map_irq.devfn = devfn;  in apic_alloc_msi_vectors()
1303 	int busnum, devfn;  in apic_alloc_msix_vectors()  local
1328 	get_busdevfn(dip, &busnum, &devfn);  in apic_alloc_msix_vectors()
1333 	if (!xen_manage_device(busnum, devfn))  in apic_alloc_msix_vectors()
1359 		map_irq.devfn = devfn;  in apic_alloc_msix_vectors()