103 	BUG_ON(!(pgd_flags(spgd) & _PAGE_PRESENT));  in spmd_addr()
126 	BUG_ON(!(pgd_flags(spgd) & _PAGE_PRESENT));  in spte_addr()
147 	BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT));  in gpmd_addr()
167 	BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT));  in gpte_addr()
275 	if ((pgd_flags(gpgd) & ~CHECK_GPGD_MASK) ||  in check_gpgd()
304 			int pgd_flags, int pmd_flags)  in find_spte()  argument
314 	if (!(pgd_flags(*spgd) & _PAGE_PRESENT)) {  in find_spte()
335 		set_pgd(spgd, __pgd(__pa(ptepage) | pgd_flags));  in find_spte()
415 		if (!(pgd_flags(gpgd) & _PAGE_PRESENT))  in demand_page()
499 	spte = find_spte(cpu, vaddr, true, pgd_flags(gpgd), pmd_flags(gpmd));  in demand_page()
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()
942 	if (pgd_flags(*spgd) & _PAGE_PRESENT) {  in __guest_set_pte()