#include <windbgkd.h>
Definition at line 555 of file windbgkd.h.
Definition at line 557 of file windbgkd.h.