x86: Uses rbx for the initial vcoreid (XCC)
[akaros.git] / kern / arch / x86 / pci_regs.h
2015-03-01 Barret RhodenPCI: use Linux's PCI register #defines