Split region allocation code from pci_bios_init_device()
tree3ccbe78113a5b6ed7fb73e64208597be82372f44
-rw-r--r-- 10 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 7639 COPYING.LESSER
-rw-r--r-- 7514 Makefile
-rw-r--r-- 8264 README
-rw-r--r-- 1137 TODO
drwxr-xr-x - src
drwxr-xr-x - tools
drwxr-xr-x - vgasrc