tag	line	file	source code
phones	2110	drivers/isdn/isdn_net.c	int isdn_net_getphones(isdn_net_ioctl_phone * phone, char *phones)
phones	2130	drivers/isdn/isdn_net.c	put_fs_byte(' ', phones++);
phones	2133	drivers/isdn/isdn_net.c	if ((ret = verify_area(VERIFY_WRITE, (void *) phones, strlen(n->num) + 1))) {
phones	2137	drivers/isdn/isdn_net.c	memcpy_tofs(phones, n->num, strlen(n->num) + 1);
phones	2138	drivers/isdn/isdn_net.c	phones += strlen(n->num);
phones	2143	drivers/isdn/isdn_net.c	put_fs_byte(0,phones);