tag	line	file	source code
ICN_CODE_STAGE2	865	drivers/isdn/icn/icn.c	uint left = ICN_CODE_STAGE2;
ICN_CODE_STAGE2	874	drivers/isdn/icn/icn.c	if ((ret = verify_area(VERIFY_READ, (void *) buffer, ICN_CODE_STAGE2)))
ICN_CODE_STAGE2	1142	drivers/isdn/icn/icn.c	i = icn_loadproto((u_char *) (a + ICN_CODE_STAGE2), dev2);