Man pages matching name gnutls_fips140_get_operation_state in section 3:

gnutls_fips140_get_operation_state.3.en

debian 12 / gnutls-doc