prod_dev_id      2873 drivers/char/ipmi/ipmi_msghandler.c 	const struct prod_dev_id *cid = data;
prod_dev_id      2895 drivers/char/ipmi/ipmi_msghandler.c 	struct prod_dev_id id = {