Searched refs:spmd (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/drivers/lguest/
H A Dpage_tables.c309 pmd_t *spmd; find_spte() local
344 spmd = spmd_addr(cpu, *spgd, vaddr); find_spte()
346 if (!(pmd_flags(*spmd) & _PAGE_PRESENT)) { find_spte()
369 set_pmd(spmd, __pmd(__pa(ptepage) | pmd_flags)); find_spte()
588 static void release_pmd(pmd_t *spmd) release_pmd() argument
591 if (pmd_flags(*spmd) & _PAGE_PRESENT) { release_pmd()
593 pte_t *ptepage = __va(pmd_pfn(*spmd) << PAGE_SHIFT); release_pmd()
600 set_pmd(spmd, __pmd(0)); release_pmd()
938 pmd_t *spmd; __guest_set_pte() local
944 spmd = spmd_addr(cpu, *spgd, vaddr); __guest_set_pte()
945 if (pmd_flags(*spmd) & _PAGE_PRESENT) { __guest_set_pte()

Completed in 85 milliseconds