Home
last modified time | relevance | path

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

/drivers/lguest/
Dpage_tables.c299 pmd_t *spmd; in find_spte() local
334 spmd = spmd_addr(cpu, *spgd, vaddr); in find_spte()
336 if (!(pmd_flags(*spmd) & _PAGE_PRESENT)) { in find_spte()
359 set_pmd(spmd, __pmd(__pa(ptepage) | pmd_flags)); in find_spte()
562 static void release_pmd(pmd_t *spmd) in release_pmd() argument
565 if (pmd_flags(*spmd) & _PAGE_PRESENT) { in release_pmd()
567 pte_t *ptepage = __va(pmd_pfn(*spmd) << PAGE_SHIFT); in release_pmd()
574 set_pmd(spmd, __pmd(0)); in release_pmd()
894 pmd_t *spmd; in do_set_pte() local
900 spmd = spmd_addr(cpu, *spgd, vaddr); in do_set_pte()
[all …]