diff --git a/firmware/lib/mocked_tpm_bootmode.c b/firmware/lib/mocked_tpm_bootmode.c
index f8c0e8b..c1a0271 100644
--- a/firmware/lib/mocked_tpm_bootmode.c
+++ b/firmware/lib/mocked_tpm_bootmode.c
@@ -64,5 +64,6 @@
 uint32_t SetTPMBootModeState(int developer_mode, int recovery_mode,
 			     uint64_t fw_keyblock_flags,
 			     GoogleBinaryBlockHeader *gbb)
+{
   return TPM_SUCCESS;
 }