ssh_gssapi_userok
authenticated = authctxt->valid && ssh_gssapi_userok(authctxt->user);
int ssh_gssapi_userok(char *name);