@@ -87,6 +87,7 @@ InitedAddr *windbg_get_KPCR(void);
InitedAddr *windbg_get_version(void);
SizedBuf kd_gen_exception_sc(CPUState *cpu);
+SizedBuf kd_gen_load_symbols_sc(CPUState *cpu);
bool windbg_on_load(void);
@@ -133,4 +133,19 @@ SizedBuf kd_gen_exception_sc(CPUState *cpu)
return buf;
}
+SizedBuf kd_gen_load_symbols_sc(CPUState *cpu)
+{
+ DBGKD_ANY_WAIT_STATE_CHANGE *sc;
+ SizedBuf buf;
+
+ SBUF_MALLOC(buf, sizeof(DBGKD_ANY_WAIT_STATE_CHANGE));
+ sc = (DBGKD_ANY_WAIT_STATE_CHANGE *) buf.data;
+ kd_init_state_change(cpu, sc);
+
+ stl_p(&sc->NewState, DbgKdLoadSymbolsStateChange);
+ stl_p(&sc->u.LoadSymbols.PathNameLength, 0);
+
+ return buf;
+}
+
#endif