Man pages matching name semanage_port_get_high in section 3: