additional_device_support 2707 drivers/char/ipmi/ipmi_msghandler.c 	return snprintf(buf, 10, "0x%02x\n", id.additional_device_support);
additional_device_support 2709 drivers/char/ipmi/ipmi_msghandler.c static DEVICE_ATTR(additional_device_support, S_IRUGO, add_dev_support_show,
additional_device_support  164 include/linux/ipmi_smi.h 	unsigned char additional_device_support;
additional_device_support  201 include/linux/ipmi_smi.h 	id->additional_device_support = data[5];