#include "pthread_impl.h"

int pthread_getschedparam(pthread_t t,
                          int* restrict policy,
                          struct sched_param* restrict param) {
  int r;
  __lock(t->killlock);
  if (t->dead) {
    r = ESRCH;
  } else {
    r = -__syscall(SYS_sched_getparam, t->tid, param);
    if (!r) {
      *policy = __syscall(SYS_sched_getscheduler, t->tid);
    }
  }
  __unlock(t->killlock);
  return r;
}