<dec f='src/src/sys/arch/x86/include/ipmivar.h' l='297' type='__uint8_t'/>
<offset>88</offset>
