Searched refs:spmd (Results 1 – 1 of 1) sorted by relevance
309 pmd_t *spmd; in find_spte() local344 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() argument591 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() local944 spmd = spmd_addr(cpu, *spgd, vaddr); in __guest_set_pte()[all …]