fxsave64
struct fxsave64 *fxs = &user.u_pcb.pcb_savefpu.fp_fxsave;
size_t fpu_save_len = sizeof(struct fxsave64);
struct fxsave64 fx __attribute__((aligned(16)));
ksc.sc_fpstate = (struct fxsave64 *)sp;
struct fxsave64 *frame = process_fpframe(p);
struct fxsave64 *frame = process_fpframe(p);
static __inline struct fxsave64 *process_fpframe(struct proc *);
static __inline struct fxsave64 *
struct fxsave64 fp_fxsave; /* see above */
struct fxsave64 fxstate;
struct fxsave64 *sc_fpstate;