Type Definition TPMI_ECC_KEY_EXCHANGE
Other items intss_esapi_sys
type TPMI_ECC_KEY_EXCHANGE = TPM2_ALG_ID;