| The Android Open Source Project | 4e468ed | 2008-12-17 18:03:48 -0800 | [diff] [blame] | 1 | /**************************************************************************** |
| 2 | **************************************************************************** |
| 3 | *** |
| 4 | *** This header was automatically generated from a Linux kernel header |
| 5 | *** of the same name, to make information necessary for userspace to |
| 6 | *** call into the kernel available to libc. It contains only constants, |
| 7 | *** structures, and macros generated from the original header, and thus, |
| 8 | *** contains no copyrightable information. |
| 9 | *** |
| 10 | **************************************************************************** |
| 11 | ****************************************************************************/ |
| 12 | #ifndef _I386_PGALLOC_H |
| 13 | #define _I386_PGALLOC_H |
| 14 | |
| 15 | #include <linux/threads.h> |
| 16 | #include <linux/mm.h> |
| 17 | |
| 18 | #define paravirt_alloc_pt(mm, pfn) do { } while (0) |
| 19 | #define paravirt_alloc_pd(pfn) do { } while (0) |
| 20 | #define paravirt_alloc_pd(pfn) do { } while (0) |
| 21 | #define paravirt_alloc_pd_clone(pfn, clonepfn, start, count) do { } while (0) |
| 22 | #define paravirt_release_pt(pfn) do { } while (0) |
| 23 | #define paravirt_release_pd(pfn) do { } while (0) |
| 24 | |
| 25 | #define pmd_populate_kernel(mm, pmd, pte) do { paravirt_alloc_pt(mm, __pa(pte) >> PAGE_SHIFT); set_pmd(pmd, __pmd(_PAGE_TABLE + __pa(pte))); } while (0) |
| 26 | |
| 27 | #define pmd_populate(mm, pmd, pte) do { paravirt_alloc_pt(mm, page_to_pfn(pte)); set_pmd(pmd, __pmd(_PAGE_TABLE + ((unsigned long long)page_to_pfn(pte) << (unsigned long long) PAGE_SHIFT))); } while (0) |
| 28 | |
| 29 | #define __pte_free_tlb(tlb,pte) do { paravirt_release_pt(page_to_pfn(pte)); tlb_remove_page((tlb),(pte)); } while (0) |
| 30 | #endif |