fill_rtcdate      215 lapic.c            fill_rtcdate(&t1);
fill_rtcdate      218 lapic.c            fill_rtcdate(&t2);