IPMI_PICMG_ID     230 drivers/char/ipmi/ipmi_poweroff.c 	data[0] = IPMI_PICMG_ID;
IPMI_PICMG_ID     267 drivers/char/ipmi/ipmi_poweroff.c 	data[0] = IPMI_PICMG_ID;