fpu__alloc_mathframe
fpu__alloc_mathframe(unsigned long sp, int ia32_frame,
sp = fpu__alloc_mathframe(sp, ia32_frame, &buf_fx, &math_size);