#include <windbgkd.h>
Definition at line 896 of file windbgkd.h.
Definition at line 898 of file windbgkd.h.