166  * A 2KB-pgtable is either upper or lower half of a normal page.
167  * The second half of the page may be unused or used as another
204  *   - added to mm_context_t::pgtable_list in case the second half of the
215  *   - added to mm_context_t::pgtable_list in case the second half of the
217  *   - removed from mm_context_t::pgtable_list in case the second half of
312 				     unsigned int half, unsigned int mask)  in page_table_release_check()  argument
321 		 "Invalid pgtable %p release half 0x%02x mask 0x%02x",  in page_table_release_check()
322 		 table, half, mask);  in page_table_release_check()
337 	unsigned int mask, bit, half;  in page_table_free()  local
353 			 * Other half is allocated, and neither half has had  in page_table_free()
355 			 * this freed half available for immediate reuse.  in page_table_free()
367 		half = 0x01U << bit;  in page_table_free()
369 		half = 0x03U;  in page_table_free()
374 	page_table_release_check(ptdesc_page(ptdesc), table, half, mask);  in page_table_free()
406 		 * Other half is allocated, and neither half has had  in page_table_free_rcu()
408 		 * this freed half available for reuse once its pending  in page_table_free_rcu()
423 	unsigned int mask = (unsigned long) _table & 0x03U, half = mask;  in __tlb_remove_table()  local
427 	switch (half) {  in __tlb_remove_table()
444 	page_table_release_check(ptdesc_page(ptdesc), table, half, mask);  in __tlb_remove_table()