tjh.dev
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
1#ifdef CONFIG_MMU
2
3/* the upper-most page table pointer */
4extern pmd_t *top_pmd;
5
6#define TOP_PTE(x) pte_offset_kernel(top_pmd, x)
7
8static inline pmd_t *pmd_off_k(unsigned long virt)
9{
10 return pmd_offset(pud_offset(pgd_offset_k(virt), virt), virt);
11}
12
13struct mem_type {
14 pteval_t prot_pte;
15 unsigned int prot_l1;
16 unsigned int prot_sect;
17 unsigned int domain;
18};
19
20const struct mem_type *get_mem_type(unsigned int type);
21
22extern void __flush_dcache_page(struct address_space *mapping, struct page *page);
23
24#endif
25
26void __init bootmem_init(void);
27void arm_mm_memblock_reserve(void);