linux__fpstate
struct linux__fpstate *fpsp;
fpsp = (struct linux__fpstate *)sp;
__CTASSERT(sizeof (struct linux__fpstate) == 512);
struct linux__fpstate *fpstate;