use crateLOG_DBG;
/// This is a stub for whenever Tlcl isn't enabled. Due to the fact that
/// the kernel rollback version is in the TPM but we can't fetch from the
/// TPM without the Tlcl library, we just stub it here and return u32::MAX
// (0xFFFFFFFF)
/// This is a stub for whenever Tlcl isn't enabled. Due to the fact that
/// the firmware rollback version is in the TPM but we can't fetch from the
/// TPM without the Tlcl library, we just stub it here and return u32::MAX
// (0xFFFFFFFF)
/// This is a stub for whenever Tlcl isn't enabled. Due to the fact that
/// the firmware management parameters is in the TPM but we can't fetch from the
/// TPM without the Tlcl library, we just stub it here and return u32::MAX
// (0xFFFFFFFF)