65 #define CHECK_GPGD_MASK		_PAGE_PRESENT
103 	BUG_ON(!(pgd_flags(spgd) & _PAGE_PRESENT));  in spmd_addr()
122 	BUG_ON(!(pmd_flags(*pmd) & _PAGE_PRESENT));  in spte_addr()
126 	BUG_ON(!(pgd_flags(spgd) & _PAGE_PRESENT));  in spte_addr()
147 	BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT));  in gpmd_addr()
157 	BUG_ON(!(pmd_flags(gpmd) & _PAGE_PRESENT));  in gpte_addr()
167 	BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT));  in gpte_addr()
248 	if (pte_flags(pte) & _PAGE_PRESENT)  in release_pte()
314 	if (!(pgd_flags(*spgd) & _PAGE_PRESENT)) {  in find_spte()
346 	if (!(pmd_flags(*spmd) & _PAGE_PRESENT)) {  in find_spte()
415 		if (!(pgd_flags(gpgd) & _PAGE_PRESENT))  in demand_page()
433 		if (!(pmd_flags(gpmd) & _PAGE_PRESENT))  in demand_page()
459 		gpte = __pte((vaddr & PAGE_MASK) | _PAGE_RW | _PAGE_PRESENT);  in demand_page()
466 	if (!(pte_flags(gpte) & _PAGE_PRESENT))  in demand_page()
570 	return (flags & (_PAGE_PRESENT|_PAGE_RW)) == (_PAGE_PRESENT|_PAGE_RW);  in page_writable()
591 	if (pmd_flags(*spmd) & _PAGE_PRESENT) {  in release_pmd()
607 	if (pgd_flags(*spgd) & _PAGE_PRESENT) {  in release_pgd()
630 	if (pgd_flags(*spgd) & _PAGE_PRESENT) {  in release_pgd()
693 	if (!(pgd_flags(gpgd) & _PAGE_PRESENT))  in __guest_pa()
698 	if (!(pmd_flags(gpmd) & _PAGE_PRESENT))  in __guest_pa()
704 	if (!(pte_flags(gpte) & _PAGE_PRESENT))  in __guest_pa()
810 		if (i == 0 && !(pte_flags(*pte) & _PAGE_PRESENT)) {  in allocate_switcher_mapping()
942 	if (pgd_flags(*spgd) & _PAGE_PRESENT) {  in __guest_set_pte()
945 		if (pmd_flags(*spmd) & _PAGE_PRESENT) {  in __guest_set_pte()