init_pointer_table
extern void init_pointer_table(void *table, int type);
init_pointer_table(pmd_dir, TABLE_PMD);
init_pointer_table(pte_dir, TABLE_PTE);
init_pointer_table(kernel_pg_dir, TABLE_PGD);