TABLE_PGD
free_pointer_table(pgd, TABLE_PGD);
return get_pointer_table(mm, TABLE_PGD);
init_pointer_table(kernel_pg_dir, TABLE_PGD);
case TABLE_PGD: