Lines Matching refs:spgd
88 static pte_t *spte_addr(pgd_t spgd, unsigned long vaddr) in spte_addr() argument
90 pte_t *page = __va(pgd_pfn(spgd) << PAGE_SHIFT); in spte_addr()
92 BUG_ON(!(pgd_flags(spgd) & _PAGE_PRESENT)); in spte_addr()
205 pgd_t *spgd; in demand_page() local
217 spgd = spgd_addr(cpu, cpu->cpu_pgd, vaddr); in demand_page()
218 if (!(pgd_flags(*spgd) & _PAGE_PRESENT)) { in demand_page()
231 *spgd = __pgd(__pa(ptepage) | pgd_flags(gpgd)); in demand_page()
262 spte = spte_addr(*spgd, vaddr); in demand_page()
301 pgd_t *spgd; in page_writable() local
305 spgd = spgd_addr(cpu, cpu->cpu_pgd, vaddr); in page_writable()
306 if (!(pgd_flags(*spgd) & _PAGE_PRESENT)) in page_writable()
311 flags = pte_flags(*(spte_addr(*spgd, vaddr))); in page_writable()
326 static void release_pgd(struct lguest *lg, pgd_t *spgd) in release_pgd() argument
329 if (pgd_flags(*spgd) & _PAGE_PRESENT) { in release_pgd()
334 pte_t *ptepage = __va(pgd_pfn(*spgd) << PAGE_SHIFT); in release_pgd()
341 *spgd = __pgd(0); in release_pgd()
504 pgd_t *spgd = spgd_addr(cpu, idx, vaddr); in do_set_pte() local
507 if (pgd_flags(*spgd) & _PAGE_PRESENT) { in do_set_pte()
509 pte_t *spte = spte_addr(*spgd, vaddr); in do_set_pte()