__writedr

Writes the specified value to the specified debug register.

void __writedr(unsigned DebugRegister, unsigned DebugValue);
void __writedr(unsigned DebugRegister, unsigned __int64 DebugValue);

Parameters

• [in] DebugRegister
  A number from 0 through 7 that identifies the debug register.

• [in] DebugValue
  A value to write to the debug register.

Remarks

These intrinsics are available only in kernel mode, and the routines are available only as intrinsics.

Requirements

Header file <intrin.h>

See Also

Reference

Compiler Intrinsics

__readdr