tag	line	file	source code
getset	1033	net/inet/dev.c	static int dev_ifsioc(void *arg, unsigned int getset)
getset	1056	net/inet/dev.c	switch(getset)