tag	line	file	source code
kd_mksound	119	kernel/chr_drv/vt.c	kd_mksound((unsigned int)arg, 0);
kd_mksound	130	kernel/chr_drv/vt.c	kd_mksound(arg & 0xffff, ticks);