A little WinDbg extension to help dump the state of Win32k Type Isolation structures. - View it on GitHub