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