handle_exit_race
return handle_exit_race(uaddr, uval, NULL);
int ret = handle_exit_race(uaddr, uval, p);