Searched refs:init_pointer_table (Results 1 – 3 of 3) sorted by relevance
97 init_pointer_table(kernel_pg_dir, TABLE_PGD); in init_pointer_tables()106 init_pointer_table(pmd_dir, TABLE_PMD); in init_pointer_tables()116 init_pointer_table(pte_dir, TABLE_PTE); in init_pointer_tables()
119 void __init init_pointer_table(void *table, int type) in init_pointer_table() function
17 extern void init_pointer_table(void *table, int type);