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