<dec f='src/src/sys/dev/ic/ispmbox.h' l='2045' type='__uint32_t'/>
<dec f='src/src/sys/dev/ic/ispmbox.h' l='2064' type='__uint32_t'/>
<offset>288</offset>
