#source: reginfo-1.s
#as: -mabi=o64 -EB -mips4
#objdump: -sj.reginfo

.*

Contents of section \.reginfo:
 0000 00000010 00000000 00010410 00000000  .*
 0010 00000000 00000000                    .*