VOID __stdcall KiBugCheckDebugBreak(UINT64 BreakStatus){ ULONG v1; v1 = BreakStatus; do DbgBreakPointWithStatus(v1); while( v1 != 3 ); }