add_properties     57 drivers/char/ipmi/ipmi_plat_data.c 		goto add_properties;
add_properties    104 drivers/char/ipmi/ipmi_plat_data.c  add_properties: