Searched refs:spgd (Results 1 – 1 of 1) sorted by relevance
88 static pte_t *spte_addr(pgd_t spgd, unsigned long vaddr) in spte_addr() argument90 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() local217 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() local305 spgd = spgd_addr(cpu, cpu->cpu_pgd, vaddr); in page_writable()[all …]