diff --git a/firmware/lib/tpm_lite/mocked_tlcl.c b/firmware/lib/tpm_lite/mocked_tlcl.c
index 9f68202fbb..6253105dd5 100644
--- a/firmware/lib/tpm_lite/mocked_tlcl.c
+++ b/firmware/lib/tpm_lite/mocked_tlcl.c
@@ -5,6 +5,7 @@
 
 #include "tlcl.h"
 #include "tlcl_internal.h"
+#include "utility.h"
 
 uint32_t TlclLibInit(void) {
   return TlclStubInit();