#include <windbgkd.h>
Definition at line 645 of file windbgkd.h.
Definition at line 647 of file windbgkd.h.