Create ros/vmm/vmx.h, prepare to move lots of code to user mode from kernel driver.
[akaros.git] / kern / arch / x86 / pci_regs.h
2015-03-01 Barret RhodenPCI: use Linux's PCI register #defines