Search notes:
win32kfull.sys
Full/Desktop Win32k Kernel Driver
See also
win32k_sys
Index