122 	BUG_ON(!(pmd_flags(*pmd) & _PAGE_PRESENT));  in spte_addr()
157 	BUG_ON(!(pmd_flags(gpmd) & _PAGE_PRESENT));  in gpte_addr()
286 	if ((pmd_flags(gpmd) & ~_PAGE_TABLE) ||  in check_gpmd()
304 			int pgd_flags, int pmd_flags)  in find_spte()  argument
346 	if (!(pmd_flags(*spmd) & _PAGE_PRESENT)) {  in find_spte()
369 		set_pmd(spmd, __pmd(__pa(ptepage) | pmd_flags));  in find_spte()
433 		if (!(pmd_flags(gpmd) & _PAGE_PRESENT))  in demand_page()
499 	spte = find_spte(cpu, vaddr, true, pgd_flags(gpgd), pmd_flags(gpmd));  in demand_page()
591 	if (pmd_flags(*spmd) & _PAGE_PRESENT) {  in release_pmd()
698 	if (!(pmd_flags(gpmd) & _PAGE_PRESENT))  in __guest_pa()
945 		if (pmd_flags(*spmd) & _PAGE_PRESENT) {  in __guest_set_pte()