mark_discard_killed_buffers 6987 src/alloc.c        (w, mark_discard_killed_buffers (w->prev_buffers));
mark_discard_killed_buffers 6989 src/alloc.c        (w, mark_discard_killed_buffers (w->next_buffers));