x86: Fix pci_match_tbdf()
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 27 Mar 2014 22:37:04 +0000 (15:37 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sat, 29 Mar 2014 01:17:05 +0000 (18:17 -0700)
commitd60bd14a59a14f35a2d55bf4a502b565376e6223
treee958ebb196b85265fb20bc158ddcbbe229f3bc78
parent3ed50f94137eff31ba520474c7eb58a7d98044c3
x86: Fix pci_match_tbdf()

And made it a PCI helper.  Also, bails out for all PCI devices when
match_tbdf fails.

Right now, the MSI enable mucks with my rtl8169 and attempting to
msi_enable() breaks the IRQ routing.
kern/arch/x86/ioapic.c
kern/arch/x86/pci.c
kern/arch/x86/pci.h