mirror of
https://github.com/edk2-porting/linux-next.git
synced 2024-12-27 22:53:55 +08:00
7b0a1003e7
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
38 lines
780 B
C
38 lines
780 B
C
#ifdef CONFIG_MMU
|
|
|
|
/* 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 {
|
|
unsigned int 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);
|
|
|
|
#endif
|
|
|
|
struct map_desc;
|
|
struct meminfo;
|
|
struct pglist_data;
|
|
|
|
void __init create_mapping(struct map_desc *md);
|
|
void __init bootmem_init(void);
|
|
void reserve_node_zero(struct pglist_data *pgdat);
|