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