pub type TPM_BOOT_ENTROPY_RESULT_CODE = u32;