+ If(dbg_addr == 0b101, # GPRs (and "fast" SPRs)
+ If(regnum <= 31, Display(" gpr%02x: %016x",
+ regnum, dbg_dout),), # GPRs
+ If(regnum == 32, Display(" LR: %016x", dbg_dout),), # LR
+ If(regnum == 33, Display(" CTR: %016x", dbg_dout),), # CTR
+ If(regnum == 34, Display(" SRR0: %016x", dbg_dout),), # SRR0
+ If(regnum == 35, Display(" SRR1: %016x", dbg_dout),), # SRR1
+ If(regnum == 36, Display(" HSRR0: %016x", dbg_dout),), # HSRR0
+ If(regnum == 37, Display(" HSRR1: %016x", dbg_dout),), # HSRR1
+ If(regnum == 38, Display(" SPRG0: %016x", dbg_dout),), # SPRG0
+ If(regnum == 39, Display(" SPRG1: %016x", dbg_dout),), # SPRG1
+ If(regnum == 40, Display(" SPRG2: %016x", dbg_dout),), # SPRG2
+ If(regnum == 41, Display(" SPRG3: %016x", dbg_dout),), # SPRG3
+ If(regnum == 42, Display(" HSPRG0: %016x", dbg_dout),), # HSPRG0
+ If(regnum == 43, Display(" HSPRG1: %016x", dbg_dout),), # HSPRG1
+ If(regnum == 44, Display(" XER: %016x", dbg_dout),), # XER
+ If(regnum == 45, Display(" TAR: %016x", dbg_dout),), # TAR