164  * A 2KB-pgtable is either upper or lower half of a normal page.
165  * The second half of the page may be unused or used as another
202  *   - added to mm_context_t::pgtable_list in case the second half of the
213  *   - added to mm_context_t::pgtable_list in case the second half of the
215  *   - removed from mm_context_t::pgtable_list in case the second half of
310 				     unsigned int half, unsigned int mask)  in page_table_release_check()  argument
319 		 "Invalid pgtable %p release half 0x%02x mask 0x%02x",  in page_table_release_check()
320 		 table, half, mask);  in page_table_release_check()
335 	unsigned int mask, bit, half;  in page_table_free()  local
351 			 * Other half is allocated, and neither half has had  in page_table_free()
353 			 * this freed half available for immediate reuse.  in page_table_free()
365 		half = 0x01U << bit;  in page_table_free()
367 		half = 0x03U;  in page_table_free()
372 	page_table_release_check(ptdesc_page(ptdesc), table, half, mask);  in page_table_free()
404 		 * Other half is allocated, and neither half has had  in page_table_free_rcu()
406 		 * this freed half available for reuse once its pending  in page_table_free_rcu()
421 	unsigned int mask = (unsigned long) _table & 0x03U, half = mask;  in __tlb_remove_table()  local
425 	switch (half) {  in __tlb_remove_table()
442 	page_table_release_check(ptdesc_page(ptdesc), table, half, mask);  in __tlb_remove_table()