Andrew Turner 724c3e47f6 Fix the arm64 non-SMP build, active_irq is a uint64_t so cast it through ... a uintmax_t. Obtained from: ABT Systems Ltd MFC after: 1 week Sponsored by: The FreeBSD Foundation		2016-08-22 19:05:11 +00:00
..
acpica	Add ARM64TODO comments to ACPI PCI stubs	2015-07-12 18:32:16 +00:00
arm64	Fix the arm64 non-SMP build, active_irq is a uint64_t so cast it through	2016-08-22 19:05:11 +00:00
cavium	Remove the non-INTRNG support from the ThunderX PCIe drivers.	2016-07-14 17:23:49 +00:00
cloudabi64	Provide the CloudABI vDSO to its executables.	2016-08-10 21:02:41 +00:00
conf	Add a generic EHCI USB driver based on the Allwinner A10 driver. It is ACPI	2016-07-29 08:50:36 +00:00
include	Implement userspace gettimeofday(2) with HPET timecounter.	2016-08-17 09:52:09 +00:00