<dec f='src/src/sys/dev/pci/twereg.h' l='178' type='__int32_t'/>
<offset>4064</offset>
