andrew cd1b16e100 Fix the logic for when to restore the VFP registers. It should restore ...

them when a different thread last used them, or when the thread was last
run on a different cpu.

Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation

2015-07-01 17:27:44 +00:00

..

acpica

Add basic support for ACPI. It splits out the nexus driver to two new

2015-06-11 15:45:33 +00:00

arm64

Fix the logic for when to restore the VFP registers. It should restore

2015-07-01 17:27:44 +00:00

conf

Add basic support for ACPI. It splits out the nexus driver to two new

2015-06-11 15:45:33 +00:00

include

add floatingpoint.h for arm64

2015-06-24 14:51:53 +00:00