Man pages matching name warning::symbols in section 7stap:

warning::symbols.7stap.en	debian 10 / systemtap-doc
warning::symbols.7stap.cs	debian 11 / systemtap-doc
warning::symbols.7stap.en	debian 11 / systemtap-doc
warning::symbols.7stap.cs	debian 12 / systemtap-doc
warning::symbols.7stap.en	debian 12 / systemtap-doc