CRYPTO_EXTF_USER_PIN_INITIALIZED
{ "CRYPTO_EXTF_USER_PIN_INITIALIZED", CRYPTO_EXTF_USER_PIN_INITIALIZED,
CRYPTO_EXTF_USER_PIN_INITIALIZED },
ext_info->ei_flags |= CRYPTO_EXTF_USER_PIN_INITIALIZED;