| version 1.21, 1999/03/31 23:23:48 |
version 1.21.2.1, 1999/04/04 17:20:14 |
| Line 254 pr_rmpage(pp, ph) |
|
| Line 254 pr_rmpage(pp, ph) |
|
| pp->pr_npages--; |
pp->pr_npages--; |
| pp->pr_npagefree++; |
pp->pr_npagefree++; |
| |
|
| |
if ((pp->pr_roflags & PR_PHINPAGE) == 0) { |
| |
LIST_REMOVE(ph, ph_hashlist); |
| |
pool_put(&phpool, ph); |
| |
} |
| |
|
| if (pp->pr_curpage == ph) { |
if (pp->pr_curpage == ph) { |
| /* |
/* |
| * Find a new non-empty page header, if any. |
* Find a new non-empty page header, if any. |
| Line 267 pr_rmpage(pp, ph) |
|
| Line 272 pr_rmpage(pp, ph) |
|
| |
|
| pp->pr_curpage = ph; |
pp->pr_curpage = ph; |
| } |
} |
| |
|
| if ((pp->pr_roflags & PR_PHINPAGE) == 0) { |
|
| LIST_REMOVE(ph, ph_hashlist); |
|
| pool_put(&phpool, ph); |
|
| } |
|
| } |
} |
| |
|
| /* |
/* |