tag	line	file	source code
E_TABSZ	2145	drivers/char/console.c	i = verify_area(VERIFY_READ, (void *)arg, E_TABSZ);
E_TABSZ	2149	drivers/char/console.c	for (i=0; i<E_TABSZ ; i++) USER_TRANS[i] = get_fs_byte(arg+i);
E_TABSZ	2161	drivers/char/console.c	i = verify_area(VERIFY_WRITE, (void *)arg, E_TABSZ);
E_TABSZ	2165	drivers/char/console.c	for (i=0; i<E_TABSZ ; i++) put_fs_byte(USER_TRANS[i],arg+i);