<dec f='src/src/sys/dev/ic/ispmbox.h' l='2403' type='ispds64_t'/>
<offset>128</offset>
