/* 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_pte_ext;	unsigned int prot_l1;	unsigned int prot_sect;	unsigned int domain;};const struct mem_type *get_mem_type(unsigned int type);struct map_desc;struct meminfo;struct pglist_data;void __init create_mapping(struct map_desc *md);void __init bootmem_init(struct meminfo *mi);void reserve_node_zero(struct pglist_data *pgdat);