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