Logo Search packages:      
Sourcecode: linux version File versions  Download package



/* the upper-most page table pointer */
extern pmd_t *top_pmd;

#define TOP_PTE(x)      pte_offset_kernel(top_pmd, x)

static inline pmd_t *pmd_off(pgd_t *pgd, unsigned long virt)
      return pmd_offset(pgd, virt);

static inline pmd_t *pmd_off_k(unsigned long virt)
      return pmd_off(pgd_offset_k(virt), virt);

struct mem_type {
      pteval_t prot_pte;
      unsigned int prot_l1;
      unsigned int prot_sect;
      unsigned int domain;

const struct mem_type *get_mem_type(unsigned int type);

extern void __flush_dcache_page(struct address_space *mapping, struct page *page);


void __init bootmem_init(void);
void arm_mm_memblock_reserve(void);

Generated by  Doxygen 1.6.0   Back to index