case IPMI_CHASSIS_POWER_DOWN: default: printk(KERN_ERR PFX "Unable to send chassis power " \ "down message, IPMI error 0x%x\n", rv); break; } 
printk(KERN_ERR PFX "Unable to send chassis power " \ "down message, IPMI error 0x%x\n", rv); 
static void ipmi_poweroff_chassis (ipmi_user_t user){	struct ipmi_system_interface_addr smi_addr;	struct kernel_ipmi_msg            send_msg;	int                               rv;	unsigned char                     data[1];        /*         * Configure IPMI address for local access         */        smi_addr.addr_type = IPMI_SYSTEM_INTERFACE_ADDR_TYPE;        smi_addr.channel = IPMI_BMC_CHANNEL;        smi_addr.lun = 0; powercyclefailed:	printk(KERN_INFO PFX "Powering %s via IPMI chassis control command\n",		((poweroff_control != IPMI_CHASSIS_POWER_CYCLE) ? "down" : "cycle"));	/*	 * Power down	 */	send_msg.netfn = IPMI_NETFN_CHASSIS_REQUEST;	send_msg.cmd = IPMI_CHASSIS_CONTROL_CMD;	data[0] = poweroff_control;	send_msg.data = data;	send_msg.data_len = sizeof(data);	rv = ipmi_request_in_rc_mode(user,				     (struct ipmi_addr *) &smi_addr,				     &send_msg);	if (rv) {		switch (poweroff_control) {			case IPMI_CHASSIS_POWER_CYCLE:				/* power cycle failed, default to power down */				printk(KERN_ERR PFX "Unable to send chassis power " \					"cycle message, IPMI error 0x%x\n", rv);				poweroff_control = IPMI_CHASSIS_POWER_DOWN;				goto powercyclefailed;			case IPMI_CHASSIS_POWER_DOWN:			default:				printk(KERN_ERR PFX "Unable to send chassis power " \					"down message, IPMI error 0x%x\n", rv);				break;		}	}	return;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8c702e16207c70119d03df924de35f8c3629a5c4/ipmi_poweroff.c/buggy/drivers/char/ipmi/ipmi_poweroff.c