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