|
|
| Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. |
| version 1.128.2.2, 2007/03/13 17:50:58 | version 1.128.2.3, 2007/03/21 20:10:22 | ||
|---|---|---|---|
|
|
||
| panic("pool_put: %s: page header missing", pp->pr_wchan); | panic("pool_put: %s: page header missing", pp->pr_wchan); | ||
| } | } | ||
| #ifdef LOCKDEBUG | |||
| /* | |||
| * Check if we're freeing a locked simple lock. | |||
| */ | |||
| simple_lock_freecheck(pi, (char *)pi + pp->pr_size); | |||
| #endif | |||
| /* | /* | ||
| * Return to item list. | * Return to item list. | ||
| */ | */ |