tag	line	file	source code
namebuf	414	net/inet/route.c	char namebuf[32];
namebuf	430	net/inet/route.c	err=verify_area(VERIFY_READ, rt.rt_dev, sizeof namebuf);
namebuf	433	net/inet/route.c	memcpy_fromfs(&namebuf, rt.rt_dev, sizeof namebuf);
namebuf	434	net/inet/route.c	dev = dev_get(namebuf);