rtcdate            75 defs.h         void            cmostime(struct rtcdate *r);
rtcdate           193 lapic.c        static void fill_rtcdate(struct rtcdate *r)
rtcdate           204 lapic.c        void cmostime(struct rtcdate *r)