# Functions provided by the WinDbg debugger

// Send arbitrary command to the WinDbg engine // Returns: the command output

string [send\_dbg\_command](https://docs.hex-rays.com/9.0sp1/developer-guide/idc/idc-api-reference/alphabetical-list-of-idc-functions/1592)(string cmd);

// Read a model specific register // Returns: the register value. if this function fails, // an exception with the error code is raised // Note: this function works only in the kernel mode

int64 read\_msr(long reg\_id);

// Write a model specific register // Returns: windows error code (0-ok) // Note: this function works only in the kernel mode

success write\_msr(long reg\_id, int64 value);