All 20 kernel routines for exercise 1 of page 123. Generated with WinDbg
on Windows 8.0 x64