CLOCK_DCF77       454 dev/usb/udcf.c 				    clockname[CLOCK_DCF77],
CLOCK_DCF77       703 dev/usb/udcf.c 		clockname[CLOCK_HBG] : clockname[CLOCK_DCF77]));