~ [[. | # | ddd | *]] r [[register]] [[= [[value]] ]]
~ [[. | # | ddd | *]] rf [[floatregister]] [[= [[value]] ]]
Display the contents of CPU registers and allow their contents to be changed to new values.
If register is not specified, the debugger displays all registers, all flags, and the instruction at the address pointed to by the instruction pointer. If register is specified, the debugger displays the current value of the register and prompts for a new value. If both register and value are specified, the debugger changes the register contents to the specified value.
With the kernel debugger, a processor number can be specified to indicate the registers for a given processor. The default is 0.
With the user-mode debugger, a thread specifier can be specified to display registers for a given thread.
The rf command displays floating-point registers. Note that floating-point registers may be operated on in the same way as other CPU registers.