taglinefilesource code
set_selection60kernel/chr_drv/console.cint set_selection(const int arg);
set_selection36kernel/chr_drv/tty_ioctl.cextern int set_selection(const int arg);
set_selection554kernel/chr_drv/tty_ioctl.creturn set_selection(arg);