kr                358 src/dps8/threadz.c   int kr;
kr                376 src/dps8/threadz.c   kr = thread_policy_set(
kr                382 src/dps8/threadz.c   if (kr != KERN_SUCCESS)
kr                385 src/dps8/threadz.c                (int)kr, __FILE__, __func__, __LINE__);