diff options
author | Ingo Molnar <mingo@elte.hu> | 2008-01-31 22:05:48 +0100 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2008-01-31 22:05:48 +0100 |
commit | 5aa0508508e7cd62bec6e3933b86fce03d2e8502 (patch) | |
tree | 575c16be2d09315f18dfba35df878f98b3d31440 /arch/x86/mm/pgtable_32.c | |
parent | 072b7a58ca534a667f9649ead1628dfb20087e4b (diff) |
x86: uninline __pte_free_tlb() and __pmd_free_tlb()
this also removes an include file dependency.
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'arch/x86/mm/pgtable_32.c')
-rw-r--r-- | arch/x86/mm/pgtable_32.c | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/arch/x86/mm/pgtable_32.c b/arch/x86/mm/pgtable_32.c index 2ae5999a795a..cb3aa470249b 100644 --- a/arch/x86/mm/pgtable_32.c +++ b/arch/x86/mm/pgtable_32.c @@ -376,3 +376,26 @@ void check_pgt_cache(void) { quicklist_trim(0, pgd_dtor, 25, 16); } + +void __pte_free_tlb(struct mmu_gather *tlb, struct page *pte) +{ + paravirt_release_pt(page_to_pfn(pte)); + tlb_remove_page(tlb, pte); +} + +#ifdef CONFIG_X86_PAE + +void __pmd_free_tlb(struct mmu_gather *tlb, pmd_t *pmd) +{ + /* This is called just after the pmd has been detached from + the pgd, which requires a full tlb flush to be recognized + by the CPU. Rather than incurring multiple tlb flushes + while the address space is being pulled down, make the tlb + gathering machinery do a full flush when we're done. */ + tlb->fullmm = 1; + + paravirt_release_pd(__pa(pmd) >> PAGE_SHIFT); + tlb_remove_page(tlb, virt_to_page(pmd)); +} + +#endif |