#include <windbgkd.h>
Definition at line 550 of file windbgkd.h.
Definition at line 552 of file windbgkd.h.