Man pages matching name libpfm_amd64_k7 in section 3:

libpfm_amd64_k7.3.en	debian 10 / libpfm4-dev
libpfm_amd64_k7.3.en	debian 11 / libpfm4-dev
libpfm_amd64_k7.3.en	debian 12 / libpfm4-dev