#include <windbgkd.h>
Definition at line 242 of file windbgkd.h.
Definition at line 244 of file windbgkd.h.