seL4/include/model
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
..
preemption.h Release snapshot 2014-07-18 05:03:59 +10:00
smp.h Move PAD_TO_NEXT_CACHE_LN to util.h 2018-01-09 10:10:16 +11:00
statedata.h Revert the recent changes to Faster FPU switch 2019-11-28 17:27:20 +11:00