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