version 1.29, 1999/08/05 04:00:04 |
version 1.30, 1999/08/29 00:26:01 |
Line 831 _pool_put(pp, v, file, line) |
|
Line 831 _pool_put(pp, v, file, line) |
|
simple_lock(&pp->pr_slock); |
simple_lock(&pp->pr_slock); |
pr_enter(pp, file, line); |
pr_enter(pp, file, line); |
|
|
|
#ifdef DIAGNOSTIC |
|
if (pp->pr_nout == 0) { |
|
printf("pool %s: putting with none out\n", |
|
pp->pr_wchan); |
|
panic("pool_put"); |
|
} |
|
#endif |
|
|
pr_log(pp, v, PRLOG_PUT, file, line); |
pr_log(pp, v, PRLOG_PUT, file, line); |
|
|
if ((ph = pr_find_pagehead(pp, page)) == NULL) { |
if ((ph = pr_find_pagehead(pp, page)) == NULL) { |