diff options
| author | Adrian Bunk <bunk@stusta.de> | 2007-05-02 13:27:09 -0400 |
|---|---|---|
| committer | Andi Kleen <andi@basil.nowhere.org> | 2007-05-02 13:27:09 -0400 |
| commit | 8eb68faed9e077c45c2bab5fce7c4e371fe9c28f (patch) | |
| tree | 6d2cacd679548f6034c8bd66b8cc713f9af2afee /arch/i386/kernel/vmi.c | |
| parent | 786142fab86cfddd3e7797e9ccf8a8a3bcaf0456 (diff) | |
[PATCH] i386: vmi_pmd_clear() static
This patch makes the needlessly global vmi_pmd_clear() static.
Signed-off-by: Adrian Bunk <bunk@stusta.de>
Signed-off-by: Andi Kleen <ak@suse.de>
Acked-by: Zachary Amsden <zach@vmware.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Diffstat (limited to 'arch/i386/kernel/vmi.c')
| -rw-r--r-- | arch/i386/kernel/vmi.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/i386/kernel/vmi.c b/arch/i386/kernel/vmi.c index 440422482c6d..626c82063d19 100644 --- a/arch/i386/kernel/vmi.c +++ b/arch/i386/kernel/vmi.c | |||
| @@ -516,7 +516,7 @@ static void vmi_pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep) | |||
| 516 | vmi_ops.set_pte(pte, ptep, vmi_flags_addr(mm, addr, VMI_PAGE_PT, 0)); | 516 | vmi_ops.set_pte(pte, ptep, vmi_flags_addr(mm, addr, VMI_PAGE_PT, 0)); |
| 517 | } | 517 | } |
| 518 | 518 | ||
| 519 | void vmi_pmd_clear(pmd_t *pmd) | 519 | static void vmi_pmd_clear(pmd_t *pmd) |
| 520 | { | 520 | { |
| 521 | const pte_t pte = { 0 }; | 521 | const pte_t pte = { 0 }; |
| 522 | vmi_check_page_type(__pa(pmd) >> PAGE_SHIFT, VMI_PAGE_PMD); | 522 | vmi_check_page_type(__pa(pmd) >> PAGE_SHIFT, VMI_PAGE_PMD); |