seL4/include/arch
Adrian Danis a85472a951 x86: Always consider FPU owernship of threads core
When checking if a thread is using the FPU or not we now check on that
threads core, under the assumption that if a thread migrates its FPU
state is explicitly (and not lazily) migrated.
2016-11-03 10:18:24 +11:00
..
arm Fix arm builds broken in 44ed6adb6 2016-10-28 16:16:04 +11:00
x86/arch x86: Always consider FPU owernship of threads core 2016-11-03 10:18:24 +11:00