Zbigniew Bodek 18c72666ce Add domain support to PCI bus allocation ... When the system has more than a single PCI domain, the bus numbers are not unique, thus they cannot be used for "pci" device numbering. Change bus numbers to -1 (i.e. to-be-determined automatically) wherever the code did not care about domains. Reviewed by: jhb Obtained from: Semihalf Sponsored by: The FreeBSD Foundation Differential Revision: https://reviews.freebsd.org/D3406		2015-09-16 23:34:51 +00:00
..
files.versatile
pl050.c
sp804.c
versatile_clcd.c
versatile_common.c
versatile_machdep.c
versatile_pci.c
versatile_sic.c
versatile_timer.c