Here is a list of all documented files with brief descriptions:
  areas.c | This file contains functions for manipulating regions of virtual memory known as areas |
| seqlock.h | Reader/writer consistent mechanism without starving writers |
 timer.c | This file contains the timer interrupt handler and functions to return the system time (time elapsed since boot), real time (since 1970-01-01), and per-CPU idle time |
