acquire(&handle->h_spinlock);
__pthread_lock(&handle->h_lock);
int pthread_getschedparam(pthread_t thread, int *policy,                          struct sched_param *param){  pthread_handle handle = thread_handle(thread);  int pid, pol;  acquire(&handle->h_spinlock);  if (invalid_handle(handle, thread)) {    release(&handle->h_spinlock);    return ESRCH;  }  pid = handle->h_descr->p_pid;  release(&handle->h_spinlock);  pol = __sched_getscheduler(pid);  if (pol == -1) return errno;  if (__sched_getparam(pid, param) == -1) return errno;  *policy = pol;  return 0;}