tag	line	file	source code
getset	795	net/inet/dev.c	dev_ifsioc(void *arg, unsigned int getset)
getset	808	net/inet/dev.c	switch(getset) {
getset	721	net/socket/dev.c	static int dev_ifsioc(void *arg, unsigned int getset)
getset	738	net/socket/dev.c	switch(getset)