Reading and Writing IO Ports
You can access IO port values via the ISD Shell.
To read the IO port, execute the following command:
threads[0].ioport.read(<offset>, <width>)
To write to the IO port, execute the following command:
threads[0].ioport.write(<offset>, <width>, <value>)