tag	line	file	source code
become_designated_port	206	include/net/br.h	void become_designated_port(int port_no);
become_designated_port	355	net/bridge/br.c	become_designated_port(port_no);  /* (4.6.10.3.2.2) */
become_designated_port	509	net/bridge/br.c	become_designated_port(port_no);    /* (4.7.4.1)   */
become_designated_port	618	net/bridge/br.c	become_designated_port(port_no);    /* (4.8.1.4.1) */
become_designated_port	638	net/bridge/br.c	become_designated_port(port_no);    /* (4.8.3.1)   */
become_designated_port	699	net/bridge/br.c	become_designated_port(port_no);  /* (4.8.5.4.1) */