![]() ![]() | ![]() |
Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. |
version 1.211, 2017/11/06 18:41:22 | version 1.212, 2017/11/09 15:40:23 | ||
---|---|---|---|
|
|
||
* it be? | * it be? | ||
*/ | */ | ||
pp->pr_flags |= PR_WANTED; | pp->pr_flags |= PR_WANTED; | ||
cv_wait(&pp->pr_cv, &pp->pr_lock); | do { | ||
cv_wait(&pp->pr_cv, &pp->pr_lock); | |||
} while (pp->pr_flags & PR_WANTED); | |||
goto startover; | goto startover; | ||
} | } | ||