Man pages matching name provider-pkcs11 in section 7:

provider-pkcs11.7.en

debian 13 / pkcs11-provider