case 1: 
case 1: 
static void hvlpevent_clear_valid( struct HvLpEvent * event ){	/* Clear the valid bit of the event	 * Also clear bits within this event that might	 * look like valid bits (on 64-byte boundaries)   	 */	unsigned extra = (( event->xSizeMinus1 + LpEventAlign ) /						 LpEventAlign ) - 1;	switch ( extra ) {	  case 3:	   ((struct HvLpEvent*)((char*)event+3*LpEventAlign))->xFlags.xValid=0;	  case 2:	   ((struct HvLpEvent*)((char*)event+2*LpEventAlign))->xFlags.xValid=0;	  case 1:	   ((struct HvLpEvent*)((char*)event+1*LpEventAlign))->xFlags.xValid=0;	  case 0:	   ;		}	mb();	event->xFlags.xValid = 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/38fcdcfe38fc3f8972c906db64cd7d540b7760e8/ItLpQueue.c/clean/arch/ppc64/kernel/ItLpQueue.c