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);