<dec f='src/src/sys/arch/x86/x86/ipmi.c' l='90' type='__int32_t'/>
<offset>1152</offset>
