__fxstate_size
return __fxstate_size(16);
return __fxstate_size(cr4_osfxsr ? 8 : 0);
__fxstate_size(16) - used_size);
if (size < __fxstate_size(16)) {