pub type TPMI_RH_NV_INDEX = TPM2_HANDLE;