xticks             87 kernel/sysproc.c   uint xticks;
xticks             90 kernel/sysproc.c   xticks = ticks;
xticks             92 kernel/sysproc.c   return xticks;