Type Definition ntapi::ntdbg::DBG_STATE

type DBG_STATE = u32;