taglinefilesource code
kd_mksound1007drivers/char/console.ckd_mksound(0x637, HZ/8);
kd_mksound123drivers/char/vt.ckd_mksound((unsigned int)arg, 0);
kd_mksound134drivers/char/vt.ckd_mksound(arg & 0xffff, ticks);
kd_mksound21drivers/char/vt_kern.hvoid kd_mksound(unsigned int count, unsigned int ticks);