Man pages matching name tapset::tcpmib-filter-default in section 3stap:

tapset::tcpmib-filter-default.3stap.en	debian 10 / systemtap-doc
tapset::tcpmib-filter-default.3stap.en	debian 11 / systemtap-doc
tapset::tcpmib-filter-default.3stap.en	debian 12 / systemtap-doc