rtcput            113 arch/i386/isa/clock.c void	rtcput(mc_todregs *);
rtcput            667 arch/i386/isa/clock.c 	rtcput(&rtclk);