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 31
