fill_rtcdate      207 lapic.c            fill_rtcdate(&t1);
fill_rtcdate      210 lapic.c            fill_rtcdate(&t2);