freebsd-skq/sys/arm64
andrew 39dd4716fd Use the correct address to write back to memory in the GICv3 ITS driver.
This seems to no be needed on supported hardware as they are cache-coherent,
however this may not be the case on all platforms.

Sponsored by:	DARPA, AFRL
2018-03-09 10:34:44 +00:00
..
acpica Add support to find the arm64 serial using the ACPI tables. This uses the 2016-11-21 19:26:58 +00:00
arm64 Use the correct address to write back to memory in the GICv3 ITS driver. 2018-03-09 10:34:44 +00:00
cavium If ofw_bus_msimap fails don't try to use the invalid MSI/MSI-X parent node. 2017-03-16 17:49:37 +00:00
cloudabi32 Port cloudabi32.ko to FreeBSD/arm64. 2017-11-30 17:58:48 +00:00
cloudabi64 Correct some more places where TO_PTR() should be used. 2017-11-26 14:53:56 +00:00
conf rk3328: Add support for this SoC 2018-02-26 21:25:50 +00:00
include Bump MAXCPUS on arm64. We are starting to see hardware with more than 96 2018-03-07 13:54:44 +00:00
rockchip/clk rk_cru: Add missing break 2018-02-26 22:57:52 +00:00