sensor_base 1471 dev/ipmi.c int sensor_num, int sensor_type, int ext_type, int sensor_base, sensor_base 1503 dev/ipmi.c "%s - %d", name, sensor_base + idx);