next_event = (struct HvLpEvent *)lpQueue->xSlicCurEventPtr; return next_event->xFlags.xValid | lpQueue->xPlicOverflowIntPending; 
next_event = (struct HvLpEvent *)xItLpQueue.xSlicCurEventPtr; return next_event->xFlags.xValid | xItLpQueue.xPlicOverflowIntPending; 
int ItLpQueue_isLpIntPending( struct ItLpQueue * lpQueue ){	struct HvLpEvent *next_event;	if (smp_processor_id() >= spread_lpevents)		return 0;	next_event = (struct HvLpEvent *)lpQueue->xSlicCurEventPtr;	return next_event->xFlags.xValid | lpQueue->xPlicOverflowIntPending;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1b19bc721416ae5bc813521d9e010a89f4816120/ItLpQueue.c/buggy/arch/ppc64/kernel/ItLpQueue.c