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