[durrrrrrrrrrrrr]

push_simd/pop_simd exist and are called kernel_fpu_begin/kernel_fpu_end. Their use is practically prohibited in most areas and iiuc not available on all archs, but it's available if needed.

[kstrauser]

Today I learned. Thanks!