scratch            76 kernel/start.c   uint64 *scratch = &timer_scratch[id][0];
scratch            77 kernel/start.c   scratch[3] = CLINT_MTIMECMP(id);
scratch            78 kernel/start.c   scratch[4] = interval;
scratch            79 kernel/start.c   w_mscratch((uint64)scratch);
scratch          2176 user/usertests.c   char scratch;
scratch          2194 user/usertests.c       read(fds[0], &scratch, 1);