On 5/9/24 10:36, Dave Hansen wrote: > + restore_fpregs_from_fpstate(&init_fpstate, > + fpu_user_cfg.max_features); There is *one* subtlety here. This assumes that 'init_fpstate' has AMX marked as being in its init state. But I think that's a pretty safe assumption.