seL4/include/arch
Adrian Danis 85b4cc1fa3 x86: FORCE_INLINE lazyFPURestore
In the common case this function expands to a single check, with a blank
body. Whilst forcively inling will cause code bloat, will be code bloat
in the uncommon code path, which we do not care about
2016-11-25 16:26:24 +11:00
..
arm SELFOUR-413: changes for verification 2016-11-25 12:30:29 +11:00
x86/arch x86: FORCE_INLINE lazyFPURestore 2016-11-25 16:26:24 +11:00