2 * Port on Texas Instruments TMS320C6x architecture
4 * Copyright (C) 2004, 2009, 2010 Texas Instruments Incorporated
5 * Author: Aurelien Jacquiot (aurelien.jacquiot@jaluna.com)
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License version 2 as
9 * published by the Free Software Foundation.
11 #ifndef _ASM_C6X_PGTABLE_H
12 #define _ASM_C6X_PGTABLE_H
14 #include <asm-generic/4level-fixup.h>
16 #include <asm/setup.h>
20 * All 32bit addresses are effectively valid for vmalloc...
21 * Sort of meaningless for non-VM targets.
23 #define VMALLOC_START 0
24 #define VMALLOC_END 0xffffffff
26 #define pgd_present(pgd) (1)
27 #define pgd_none(pgd) (0)
28 #define pgd_bad(pgd) (0)
29 #define pgd_clear(pgdp)
30 #define kern_addr_valid(addr) (1)
32 #define pmd_offset(a, b) ((void *)0)
33 #define pmd_none(x) (!pmd_val(x))
34 #define pmd_present(x) (pmd_val(x))
35 #define pmd_clear(xp) do { set_pmd(xp, __pmd(0)); } while (0)
36 #define pmd_bad(x) (pmd_val(x) & ~PAGE_MASK)
38 #define PAGE_NONE __pgprot(0) /* these mean nothing to NO_MM */
39 #define PAGE_SHARED __pgprot(0) /* these mean nothing to NO_MM */
40 #define PAGE_COPY __pgprot(0) /* these mean nothing to NO_MM */
41 #define PAGE_READONLY __pgprot(0) /* these mean nothing to NO_MM */
42 #define PAGE_KERNEL __pgprot(0) /* these mean nothing to NO_MM */
43 #define pgprot_noncached(prot) (prot)
45 extern void paging_init(void);
47 #define __swp_type(x) (0)
48 #define __swp_offset(x) (0)
49 #define __swp_entry(typ, off) ((swp_entry_t) { ((typ) | ((off) << 7)) })
50 #define __pte_to_swp_entry(pte) ((swp_entry_t) { pte_val(pte) })
51 #define __swp_entry_to_pte(x) ((pte_t) { (x).val })
53 static inline int pte_file(pte_t pte
)
58 #define set_pte(pteptr, pteval) (*(pteptr) = pteval)
59 #define set_pte_at(mm, addr, ptep, pteval) set_pte(ptep, pteval)
62 * ZERO_PAGE is a global shared page that is always zero: used
63 * for zero-mapped memory areas etc..
65 #define ZERO_PAGE(vaddr) virt_to_page(empty_zero_page)
66 extern unsigned long empty_zero_page
;
68 #define swapper_pg_dir ((pgd_t *) 0)
71 * No page table caches to initialise
73 #define pgtable_cache_init() do { } while (0)
74 #define io_remap_pfn_range remap_pfn_range
76 #define io_remap_page_range(vma, vaddr, paddr, size, prot) \
77 remap_pfn_range(vma, vaddr, (paddr) >> PAGE_SHIFT, size, prot)
79 #include <asm-generic/pgtable.h>
81 #endif /* _ASM_C6X_PGTABLE_H */