Searched refs:TABLE_PTE (Results 1 – 3 of 3) sorted by relevance
14 TABLE_PTE = 1, enumerator29 return get_pointer_table(TABLE_PTE); in pte_alloc_one_kernel()34 free_pointer_table(pte, TABLE_PTE); in pte_free_kernel()39 return get_pointer_table(TABLE_PTE); in pte_alloc_one()44 free_pointer_table(pgtable, TABLE_PTE); in pte_free()50 free_pointer_table(pgtable, TABLE_PTE); in __pte_free_tlb()
119 init_pointer_table(pte_dir, TABLE_PTE); in init_pointer_tables()
159 if (type == TABLE_PTE) { in get_pointer_table()203 if (type == TABLE_PTE) in free_pointer_table()