if (size == 0) return;  
void ibmasm_receive_message(struct service_processor *sp, void *message, int message_size){	u32 size;	struct dot_command_header *header = (struct dot_command_header *)message;	size = get_dot_command_size(message);	if (size > message_size)		size = message_size;	switch (header->type) {	case sp_event: 		ibmasm_receive_event(sp, message, size);		break;	case sp_command_response:		ibmasm_receive_command_response(sp, message, size); 		break;	case sp_heartbeat:		ibmasm_receive_heartbeat(sp, message, size);		break;	default:		dev_err(sp->dev, "Received unknown message from service processor\n");	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8818760512424f60ad9fafb7a087b007a9274eb3/dot_command.c/buggy/drivers/misc/ibmasm/dot_command.c