taglinefilesource code
E_TABSZ2038drivers/char/console.ci = verify_area(VERIFY_READ, (void *)arg, E_TABSZ);
E_TABSZ2042drivers/char/console.cfor (i=0; i<E_TABSZ ; i++) USER_TRANS[i] = get_fs_byte(arg+i);
E_TABSZ2054drivers/char/console.ci = verify_area(VERIFY_WRITE, (void *)arg, E_TABSZ);
E_TABSZ2058drivers/char/console.cfor (i=0; i<E_TABSZ ; i++) put_fs_byte(USER_TRANS[i],arg+i);