TABLE_PTE
return get_pointer_table(mm, TABLE_PTE);
free_pointer_table(pte, TABLE_PTE);
return get_pointer_table(mm, TABLE_PTE);
free_pointer_table(pgtable, TABLE_PTE);
free_pointer_table(pgtable, TABLE_PTE);
init_pointer_table(pte_dir, TABLE_PTE);
case TABLE_PTE: