Searched refs:TABLE_PGD (Results 1 – 2 of 2) sorted by relevance
12 TABLE_PGD = 0, enumerator73 free_pointer_table(pgd, TABLE_PGD); in pgd_free()78 return get_pointer_table(TABLE_PGD); in pgd_alloc()
100 init_pointer_table(kernel_pg_dir, TABLE_PGD); in init_pointer_tables()