bufadjust
bufadjust(pgs); /* adjust bufpages */
bufadjust(bufpages - pdelta);
bufadjust(bufhighpages);
extern void bufadjust(int);