; Section 2.2.3 Machine State Register (MSR)
[MSR_32]
name: PowerPC Machine State Register
+width: 32
field: 13 Power Management Enable (POW)
field: 15 Little-Endian Exception Mode (ILE)
field: 16 External Interrupt Enable (EE)
value: 1 Key=0 read/write K=1 read only
value: 2 Key=0 read/write K=1 read/write
value: 3 Key=0 read only K=1 read only
+
+[SDR1]
+name: PowerPC Storage Description register
+field: 2:45 Real address of Page Table (HTABORG)
+field: 59:63 Encoded size of Page Table (HTABSIZE)