seg_plocked
ASSERT(seg_plocked >= npages);
seg_plocked -= npages;
if (seg_plocked == 0) {
ASSERT(seg_plocked >= npages);
seg_plocked -= npages;
if (seg_plocked == 0) {
ASSERT(seg_plocked >= npages);
seg_plocked -= npages;
seg_plocked = 0;
while (seg_plocked != 0) {
old_plocked = seg_plocked;
if (seg_plocked == old_plocked) {
if (seg_plocked != 0)
ASSERT(seg_plocked >= npages);
seg_plocked -= npages;
seg_plocked += npages;
seg_plocked -= npages;
ASSERT(seg_plocked >= npages);
seg_plocked -= npages;
if (seg_plocked == 0 || (!force && seg_plocked_window == 0)) {