Symbol: __bmc_get_device_id
drivers/char/ipmi/ipmi_msghandler.c
2784
return __bmc_get_device_id(intf, bmc, id, guid_set, guid, -1);
drivers/char/ipmi/ipmi_msghandler.c
3713
rv = __bmc_get_device_id(intf, NULL, &id, NULL, NULL, i);