seL4/include/model
Curtis Millar e9b90f9f1c Cache FPU enable state on all platforms
This change broadens the caching of the FPU enable/disable bit from arm
to all platforms to ensure that on x86 time is not wasted on the
fastpath disabling or enabling an already disabled/enabled FPU.
2019-11-27 14:09:11 +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 Cache FPU enable state on all platforms 2019-11-27 14:09:11 +11:00