zbb 95f13176f5 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	Build the cpufunc_asm_* files based on the cpu type, not which config file	2015-03-29 22:43:39 +00:00
pl050.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00
sp804.c	Use simple fixed name strings for these timecounters and eventimers which	2015-08-14 16:48:07 +00:00
versatile_clcd.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00
versatile_common.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00
versatile_machdep.c
versatile_pci.c	Add domain support to PCI bus allocation	2015-09-16 23:34:51 +00:00
versatile_sic.c
versatile_timer.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00