process_read_fpregs32
error = process_read_fpregs32(l, &r32, &kl);
r = (ptrace_regrfunc_t)process_read_fpregs32;
#ifndef process_read_fpregs32