Andrew Turner add8a9c2d2 Fix a race when the hardware has raised an exception with an unknown or ...

uncategorised reason. We need to read the fault address register before
enabling interrupts as the interrupt handler may cause this register to
change.

Approved by:	re (marius, kib)
Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation

2016-06-22 12:05:08 +00:00

..

acpica

Add ARM64TODO comments to ACPI PCI stubs

2015-07-12 18:32:16 +00:00

arm64

Fix a race when the hardware has raised an exception with an unknown or

2016-06-22 12:05:08 +00:00

cavium

Mark the ThunderX and generic PCI drivers as cache-coherent when we know

2016-05-31 09:15:21 +00:00

cloudabi64

Update comments for the MD functions managing contexts for new

2016-06-16 12:05:44 +00:00

conf

Switch arm64 to use intrng by default. The old interrupt handling code can

2016-06-07 20:14:08 +00:00

include

Add the GICv3 ITS intrng driver. As the interface to the interrupt

2016-06-03 10:28:06 +00:00