pud_init
pud_init(pud);
extern void pud_init(void *addr);
#define pud_init pud_init
pud_init(pud);
EXPORT_SYMBOL_GPL(pud_init);
pud_init(invalid_pud_table);
pud_init(pud);
extern void pud_init(void *addr);
#define pud_init pud_init
pud_init(invalid_pud_table);
#ifndef pud_init
#define pud_init pud_init
pud_init(p);
pud_init(p);