<dec f='src/src/sys/arch/x86/include/ipmivar.h' l='302' type='__uint16_t'/>
<offset>144</offset>
