diff --git a/[refs] b/[refs]
index 6d69c4dd6f8b..f7cbca5c96ac 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 786142fab86cfddd3e7797e9ccf8a8a3bcaf0456
+refs/heads/master: 8eb68faed9e077c45c2bab5fce7c4e371fe9c28f
diff --git a/trunk/arch/i386/kernel/vmi.c b/trunk/arch/i386/kernel/vmi.c
index 440422482c6d..626c82063d19 100644
--- a/trunk/arch/i386/kernel/vmi.c
+++ b/trunk/arch/i386/kernel/vmi.c
@@ -516,7 +516,7 @@ static void vmi_pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep)
 	vmi_ops.set_pte(pte, ptep, vmi_flags_addr(mm, addr, VMI_PAGE_PT, 0));
 }
 
-void vmi_pmd_clear(pmd_t *pmd)
+static void vmi_pmd_clear(pmd_t *pmd)
 {
 	const pte_t pte = { 0 };
 	vmi_check_page_type(__pa(pmd) >> PAGE_SHIFT, VMI_PAGE_PMD);