<dec f='src/src/sys/arch/x86/x86/ipmi.c' l='88' type='__uint32_t'/>
<use f='src/src/sys/arch/x86/x86/ipmi.c' l='1542' u='w' c='ipmi_set_limits'/>
<use f='src/src/sys/arch/x86/x86/ipmi.c' l='1561' u='w' c='ipmi_get_limits'/>
<use f='src/src/sys/arch/x86/x86/ipmi.c' l='1662' u='r' c='ipmi_sensor_status'/>
<use f='src/src/sys/arch/x86/x86/ipmi.c' l='1666' u='r' c='ipmi_sensor_status'/>
<use f='src/src/sys/arch/x86/x86/ipmi.c' l='1670' u='r' c='ipmi_sensor_status'/>
<use f='src/src/sys/arch/x86/x86/ipmi.c' l='1674' u='r' c='ipmi_sensor_status'/>
<use f='src/src/sys/arch/x86/x86/ipmi.c' l='2067' u='w' c='ipmi_thread'/>
<offset>992</offset>
