mISDN_init_clock  376 drivers/isdn/mISDN/core.c 	mISDN_init_clock(&debug);
mISDN_init_clock   68 drivers/isdn/mISDN/core.h extern void	mISDN_init_clock(u_int *);