freebsd-dev/sys/x86
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
..
acpica Add ASUS Sandybridge laptops to the similar x2apic disable logic 2015-09-16 01:44:11 +00:00
bios Add missing header needed by free(9). 2012-09-30 15:42:20 +00:00
cpufreq Pull in r267961 and r267973 again. Fix for issues reported will follow. 2014-06-28 03:56:17 +00:00
include Add stack_save_td_running(), a function to trace the kernel stack of a 2015-09-11 03:54:37 +00:00
iommu Comment only change, fix grammar and somewhat clarify the action. 2015-08-14 13:51:59 +00:00
isa Set the initial system time to a sane (as in: not end of 21st century) value when 2015-06-29 17:02:09 +00:00
pci Add domain support to PCI bus allocation 2015-09-16 23:34:51 +00:00
x86 Add domain support to PCI bus allocation 2015-09-16 23:34:51 +00:00
xen xen: allow disabling PV disks and nics 2015-08-21 15:53:08 +00:00