[kstrauser]

Why is that? Couldn’t there be push_simd()/pop_simd() that the syscall itself uses around its SIMD calls?

If no syscalls use SIMD today, I’d think we’re starting from a safe position.

[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!