Symbol: ipmi_set_addr_data_and_space
drivers/char/ipmi/ipmi_si_platform.c
123
ipmi_set_addr_data_and_space(res, io);
drivers/char/ipmi/ipmi_si_platform.c
273
ipmi_set_addr_data_and_space(&resource, &io);