seL4/include/machine
Curtis Millar 04e51d402a Revert the recent changes to Faster FPU switch
These changes need to be reverted until we can properly test the changes
with all of our hardware online (currently we cannot test on x86
hardware).

This reverts commit a0aeec3b304d16909619bc847197df221c73a0c4.
This reverts commit af0fdc82c23f1e7e3f1e568f6987f5afd0d2150a.
This reverts commit a190a14ecaae688a6b40dd0a699b8f49c2c0631e.
2019-11-28 17:27:20 +11:00
..
assembler.h Release snapshot 2014-07-18 05:03:59 +10:00
capdl.h capdl-dump: tcbDebug list, multicore-support, add tcb command 2019-03-20 12:55:30 +11:00
debug.h style: consistently attach return type 2019-03-19 14:05:36 +11:00
fpu.h Revert the recent changes to Faster FPU switch 2019-11-28 17:27:20 +11:00
io.h serial: remove putConsoleChar 2019-03-14 14:31:12 +11:00
profiler.h Release snapshot 2014-07-18 05:03:59 +10:00
registerset.h mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
timer.h mcs: tickless scheduler implementation 2019-08-22 11:22:34 +10:00