sbrklazy           41 user/user.h    char* sbrklazy(int);
sbrklazy         2597 user/usertests.c   prev_end = sbrklazy(REGION_SZ);
sbrklazy         2626 user/usertests.c   prev_end = sbrklazy(REGION_SZ);
sbrklazy         2642 user/usertests.c       sbrklazy(-1L * REGION_SZ);
sbrklazy         2664 user/usertests.c     sbrklazy(4*PGSIZE);
sbrklazy         2707 user/usertests.c     p = sbrklazy(1<<30);
sbrklazy         2713 user/usertests.c     p = sbrklazy(0);
sbrklazy         2718 user/usertests.c   char *p1 = sbrklazy(n);
sbrklazy         2742 user/usertests.c   p = sbrklazy(1);