x86_set_sdbase32
return x86_set_sdbase32(arg, which, l, direct);
static int x86_set_sdbase32(void *, char, lwp_t *, bool);