Andrew Turner 6c5b1ed4b6 Read the CPU ID for the current CPU from the GIC. The GIC may have a ... different ID space than the kernel. Because of this we need to read the ID from the hardware. The hardware will provide this value to the CPU by reading any of the first 8 Interrupt Processor Targets Registers. Obtained from: ABT Systems Ltd Sponsored by: The FreeBSD Foundation Differential Revision: https://reviews.freebsd.org/D5706		2016-03-29 13:51:26 +00:00
..
acpica	Add ARM64TODO comments to ACPI PCI stubs	2015-07-12 18:32:16 +00:00
arm64	Read the CPU ID for the current CPU from the GIC. The GIC may have a	2016-03-29 13:51:26 +00:00
cavium	Improve ThunderX PEM driver to work on pass2 revision	2016-03-02 08:39:59 +00:00
cloudabi64	Fix reporting of the CloudABI ABI in kdump.	2016-03-09 18:38:30 +00:00
conf	Add uart 8250 device to GENERIC arm64 configuration	2016-03-01 07:06:36 +00:00
include	Use the saved program state register to detect when an exception frame is	2016-03-22 08:36:25 +00:00