Lines Matching refs:spmd
309 pmd_t *spmd; in find_spte() local
344 spmd = spmd_addr(cpu, *spgd, vaddr); in find_spte()
346 if (!(pmd_flags(*spmd) & _PAGE_PRESENT)) { in find_spte()
369 set_pmd(spmd, __pmd(__pa(ptepage) | pmd_flags)); in find_spte()
588 static void release_pmd(pmd_t *spmd) in release_pmd() argument
591 if (pmd_flags(*spmd) & _PAGE_PRESENT) { in release_pmd()
593 pte_t *ptepage = __va(pmd_pfn(*spmd) << PAGE_SHIFT); in release_pmd()
600 set_pmd(spmd, __pmd(0)); in release_pmd()
938 pmd_t *spmd; in __guest_set_pte() local
944 spmd = spmd_addr(cpu, *spgd, vaddr); in __guest_set_pte()
945 if (pmd_flags(*spmd) & _PAGE_PRESENT) { in __guest_set_pte()