WinDbg and IOTRn (IOTR0-IOTR3)

[Kjetil_Kristoffer_Solberg]

Hi.
Is there any way to view the IOTRn registers through WinDbg?
If yes then how?

Kjetil