<dec f='src/src/sys/dev/pci/if_bnxreg.h' l='885' type='__uint32_t'/>
<offset>2432</offset>
