Go to the documentation of this file.
8 #ifndef __ASM_AVR32_PGTABLE_2LEVEL_H
9 #define __ASM_AVR32_PGTABLE_2LEVEL_H
16 #define PGDIR_SHIFT 22
17 #define PTRS_PER_PGD 1024
19 #define PTRS_PER_PTE 1024
22 #define pte_ERROR(e) \
23 printk("%s:%d: bad pte %08lx.\n", __FILE__, __LINE__, pte_val(e))
24 #define pgd_ERROR(e) \
25 printk("%s:%d: bad pgd %08lx.\n", __FILE__, __LINE__, pgd_val(e))
32 #define set_pte(pteptr, pteval) (*(pteptr) = pteval)
33 #define set_pte_at(mm,addr,ptep,pteval) set_pte(ptep, pteval)
39 #define set_pmd(pmdptr, pmdval) (*(pmdptr) = pmdval)
41 #define pte_pfn(x) ((unsigned long)(((x).pte >> PAGE_SHIFT)))
42 #define pfn_pte(pfn, prot) __pte(((pfn) << PAGE_SHIFT) | pgprot_val(prot))
43 #define pfn_pmd(pfn, prot) __pmd(((pfn) << PAGE_SHIFT) | pgprot_val(prot))