ops->read_time(tm); 
return ops->read_time(tm); 
static inline void rtc_read_time(struct rtc_ops *ops, struct rtc_time *tm){	memset(tm, 0, sizeof(struct rtc_time));	ops->read_time(tm);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d5aa207e46ff7ee838683a7d95ecf46fe42a9a56/rtctime.c/buggy/arch/arm/common/rtctime.c