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