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