163  * A 2KB-pgtable is either upper or lower half of a normal page.
164  * The second half of the page may be unused or used as another
201  *   - added to mm_context_t::pgtable_list in case the second half of the
212  *   - added to mm_context_t::pgtable_list in case the second half of the
214  *   - removed from mm_context_t::pgtable_list in case the second half of
309 				     unsigned int half, unsigned int mask)  in page_table_release_check()  argument
318 		 "Invalid pgtable %p release half 0x%02x mask 0x%02x",  in page_table_release_check()
319 		 table, half, mask);  in page_table_release_check()
334 	unsigned int mask, bit, half;  in page_table_free()  local
350 			 * Other half is allocated, and neither half has had  in page_table_free()
352 			 * this freed half available for immediate reuse.  in page_table_free()
364 		half = 0x01U << bit;  in page_table_free()
366 		half = 0x03U;  in page_table_free()
371 	page_table_release_check(ptdesc_page(ptdesc), table, half, mask);  in page_table_free()
403 		 * Other half is allocated, and neither half has had  in page_table_free_rcu()
405 		 * this freed half available for reuse once its pending  in page_table_free_rcu()
420 	unsigned int mask = (unsigned long) _table & 0x03U, half = mask;  in __tlb_remove_table()  local
424 	switch (half) {  in __tlb_remove_table()
441 	page_table_release_check(ptdesc_page(ptdesc), table, half, mask);  in __tlb_remove_table()