Searched refs:DBGKD_DEBUG_DATA_HEADER64 (Results 1 – 2 of 2) sorted by relevance
35 typedef struct DBGKD_DEBUG_DATA_HEADER64 { struct39 } DBGKD_DEBUG_DATA_HEADER64; argument42 DBGKD_DEBUG_DATA_HEADER64 Header;
74 DBGKD_DEBUG_DATA_HEADER64 kdbg_hdr; in get_kdbg()