179  * A 2KB-pgtable is either upper or lower half of a normal page.
180  * The second half of the page may be unused or used as another
217  *   - added to mm_context_t::pgtable_list in case the second half of the
228  *   - added to mm_context_t::pgtable_list in case the second half of the
230  *   - removed from mm_context_t::pgtable_list in case the second half of
315 				     unsigned int half, unsigned int mask)  in page_table_release_check()  argument
322 		 "Invalid pgtable %p release half 0x%02x mask 0x%02x",  in page_table_release_check()
323 		 table, half, mask);  in page_table_release_check()
329 	unsigned int mask, bit, half;  in page_table_free()  local
353 		half = 0x01U << bit;  in page_table_free()
355 		half = 0x03U;  in page_table_free()
360 	page_table_release_check(page, table, half, mask);  in page_table_free()
400 	unsigned int mask = (unsigned long) _table & 0x03U, half = mask;  in __tlb_remove_table()  local
404 	switch (half) {  in __tlb_remove_table()
421 	page_table_release_check(page, table, half, mask);  in __tlb_remove_table()