Lines Matching refs:PORT
156 %token PORT
197 %type <num> port opt_final number afamily opt_family
874 : PORT CURLY_OPEN filt_port_list CURLY_CLOSE
878 | PORT port_range { $$ = $2; }
891 : port /* just port */
895 | port MINUS port /* port from-to */
903 yyerror("undefined port variable %s", $1);
908 port
Indexes created Thu Oct 23 22:10:10 GMT 2025