| alarm | Kernel | |
| consoleIn | Kernel |  [private] | 
| consoleOut | Kernel |  [private] | 
| ConsoleTest() | Kernel | |
| currentThread | Kernel | |
| debugUserProg | Kernel |  [private] | 
| fileSystem | Kernel | |
| formatFlag | Kernel |  [private] | 
| hostName | Kernel | |
| Initialize() | Kernel | |
| interrupt | Kernel | |
| Kernel(int argc, char **argv) | Kernel | |
| machine | Kernel | |
| NetworkTest() | Kernel | |
| postOfficeIn | Kernel | |
| postOfficeOut | Kernel | |
| randomSlice | Kernel |  [private] | 
| reliability | Kernel |  [private] | 
| scheduler | Kernel | |
| stats | Kernel | |
| synchConsoleIn | Kernel | |
| synchConsoleOut | Kernel | |
| synchDisk | Kernel | |
| ThreadSelfTest() | Kernel | |
| ~Kernel() | Kernel | 
 1.4.4
 1.4.4