diff --git a/util/inteltool/cpu.c b/util/inteltool/cpu.c
index ef2df3cd00..ff69b8cf69 100644
--- a/util/inteltool/cpu.c
+++ b/util/inteltool/cpu.c
@@ -78,7 +78,7 @@ inline cpuid_result_t cpuid_ext(int op, unsigned int ecx)
 #ifndef __DARWIN__
 int msr_readerror = 0;
 
-msr_t rdmsr(int addr)
+static msr_t rdmsr(int addr)
 {
 	uint32_t buf[2];
 	msr_t msr = { 0xffffffff, 0xffffffff };
@@ -132,7 +132,7 @@ static int open_and_seek(int cpu, unsigned long msr, int mode, int *fd)
 	return 0;
 }
 
-msr_t rdmsr_from_cpu(int cpu, unsigned long addr)
+static msr_t rdmsr_from_cpu(int cpu, unsigned long addr)
 {
 	int fd;
 	msr_t msr = { 0xffffffff, 0xffffffff };
@@ -155,12 +155,12 @@ msr_t rdmsr_from_cpu(int cpu, unsigned long addr)
 	return msr;
 }
 
-int get_number_of_cpus(void)
+static int get_number_of_cpus(void)
 {
 	return sysconf(_SC_NPROCESSORS_ONLN);
 }
 
-int is_sgx_supported(int cpunum)
+static int is_sgx_supported(int cpunum)
 {
 	cpuid_result_t cpuid_regs;
 	msr_t msr;
@@ -172,14 +172,14 @@ int is_sgx_supported(int cpunum)
 	return ((cpuid_regs.ebx & SGX_SUPPORTED) && (msr.lo & PRMRR_SUPPORTED));
 }
 
-int is_sgx_enabled(int cpunum)
+static int is_sgx_enabled(int cpunum)
 {
 	msr_t data;
 	data = rdmsr_from_cpu(cpunum, IA32_FEATURE_CONTROL);
 	return (data.lo & SGX_GLOBAL_ENABLED);
 }
 
-int is_sgx_locked(int cpunum)
+static int is_sgx_locked(int cpunum)
 {
 	msr_t data;
 	data = rdmsr_from_cpu(cpunum, IA32_FEATURE_CONTROL);
diff --git a/util/inteltool/inteltool.c b/util/inteltool/inteltool.c
index 7e02510752..76b1abed9c 100644
--- a/util/inteltool/inteltool.c
+++ b/util/inteltool/inteltool.c
@@ -443,7 +443,7 @@ void unmap_physical(void *virt_addr, size_t len)
 }
 #endif
 
-void print_version(void)
+static void print_version(void)
 {
 	printf("inteltool v%s -- ", INTELTOOL_VERSION);
 	printf("Copyright (C) 2008 coresystems GmbH\n\n");
@@ -457,7 +457,7 @@ void print_version(void)
     "GNU General Public License for more details.\n\n");
 }
 
-void print_usage(const char *name)
+static void print_usage(const char *name)
 {
 	printf("usage: %s [-vh?gGrpmedPMaAsfSRx]\n", name);
 	printf("\n"
diff --git a/util/inteltool/spi.c b/util/inteltool/spi.c
index da5533deaa..22ba3d42f2 100644
--- a/util/inteltool/spi.c
+++ b/util/inteltool/spi.c
@@ -79,7 +79,7 @@ static const io_register_t ich7_spi_bar_registers[] = {
 	{ 0x68, 4, "PBR2 Protected BIOS Range 2" },
 };
 
-int print_bioscntl(struct pci_dev *sb)
+static int print_bioscntl(struct pci_dev *sb)
 {
 	int i, size = 0;
 	unsigned char bios_cntl = 0xff;
@@ -207,7 +207,7 @@ int print_bioscntl(struct pci_dev *sb)
 	return 0;
 }
 
-int print_spibar(struct pci_dev *sb) {
+static int print_spibar(struct pci_dev *sb) {
 	int i, size = 0, rcba_size = 0x4000;
 	volatile uint8_t *rcba;
 	uint32_t rcba_phys;