tag	line	file	source code
kd_mksound	998	kernel/chr_drv/console.c	kd_mksound(0x637, HZ/8);
kd_mksound	120	kernel/chr_drv/vt.c	kd_mksound((unsigned int)arg, 0);
kd_mksound	131	kernel/chr_drv/vt.c	kd_mksound(arg & 0xffff, ticks);
kd_mksound	21	kernel/chr_drv/vt_kern.h	void kd_mksound(unsigned int count, unsigned int ticks);