diff --git a/src/drivers/spi/tpm/tis.c b/src/drivers/spi/tpm/tis.c
index 7d42b7c424..6230751fb1 100644
--- a/src/drivers/spi/tpm/tis.c
+++ b/src/drivers/spi/tpm/tis.c
@@ -9,7 +9,7 @@
 
 #include "tpm.h"
 
-static unsigned tpm_is_open;
+static unsigned int tpm_is_open;
 
 static const struct {
 	uint16_t vid;
diff --git a/src/drivers/usb/ehci_debug.c b/src/drivers/usb/ehci_debug.c
index e77cd85f75..d6b468c3a2 100644
--- a/src/drivers/usb/ehci_debug.c
+++ b/src/drivers/usb/ehci_debug.c
@@ -59,7 +59,7 @@ static int dbgp_enabled(void);
 static void dbgp_print_data(struct ehci_dbg_port *ehci_debug);
 
 static struct ehci_debug_info glob_dbg_info;
-static struct ehci_debug_info * glob_dbg_info_p;
+static struct ehci_debug_info *glob_dbg_info_p;
 
 static inline struct ehci_debug_info *dbgp_ehci_info(void)
 {