Lines Matching refs:PGT_validated
453 page->u.inuse.type_info |= PGT_validated | 1; in share_xen_page_with_guest()
769 unlikely((x & (PGT_type_mask|PGT_validated)) != \
770 (PGT_##level##_page_table|PGT_validated)) ) \
1860 if ( !(x & PGT_validated) || in page_lock()
2330 page->u.inuse.type_info |= PGT_validated; in alloc_page_type()
2334 (PGT_count_mask|PGT_validated|PGT_partial)) == 1); in alloc_page_type()
2350 (PGT_count_mask | PGT_validated)) == 1); in alloc_page_type()
2438 (PGT_count_mask|PGT_validated|PGT_partial)) == 1); in _put_final_page_type()
2440 page->u.inuse.type_info |= PGT_validated; in _put_final_page_type()
2470 likely(nx & (PGT_validated|PGT_partial)) ) in _put_page_type()
2477 nx = x & ~(PGT_validated|PGT_partial); in _put_page_type()
2595 nx &= ~(PGT_type_mask | PGT_validated); in __get_page_type()
2603 nx |= PGT_validated; in __get_page_type()
2625 else if ( unlikely(!(x & PGT_validated)) ) in __get_page_type()
2667 if ( unlikely(!(nx & PGT_validated)) ) in __get_page_type()