if (ItLpQueue_isLpIntPending(&xItLpQueue)) lpevent_count += ItLpQueue_process(&xItLpQueue, NULL); 
if (ItLpQueue_isLpIntPending()) lpevent_count += ItLpQueue_process(NULL); 
int mf_get_boot_rtc(struct rtc_time *tm){	struct ce_msg_comp_data ce_complete;	struct boot_rtc_time_data rtc_data;	int rc;	memset(&ce_complete, 0, sizeof(ce_complete));	memset(&rtc_data, 0, sizeof(rtc_data));	rtc_data.busy = 1;	ce_complete.handler = &get_boot_rtc_time_complete;	ce_complete.token = &rtc_data;	rc = signal_ce_msg_simple(0x40, &ce_complete);	if (rc)		return rc;	/* We need to poll here as we are not yet taking interrupts */	while (rtc_data.busy) {		extern unsigned long lpevent_count;		if (ItLpQueue_isLpIntPending(&xItLpQueue))			lpevent_count += ItLpQueue_process(&xItLpQueue, NULL);	}	return rtc_set_tm(rtc_data.rc, rtc_data.ce_msg.ce_msg, tm);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1b19bc721416ae5bc813521d9e010a89f4816120/mf.c/clean/arch/ppc64/kernel/mf.c