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