pub type TPM2_PT_PCR = UINT32;