Lines Matching refs:gpgd
144 static unsigned long gpmd_addr(pgd_t gpgd, unsigned long vaddr) in gpmd_addr() argument
146 unsigned long gpage = pgd_pfn(gpgd) << PAGE_SHIFT; in gpmd_addr()
147 BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT)); in gpmd_addr()
163 pgd_t gpgd, unsigned long vaddr) in gpte_addr() argument
165 unsigned long gpage = pgd_pfn(gpgd) << PAGE_SHIFT; in gpte_addr()
167 BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT)); in gpte_addr()
273 static bool check_gpgd(struct lg_cpu *cpu, pgd_t gpgd) in check_gpgd() argument
275 if ((pgd_flags(gpgd) & ~CHECK_GPGD_MASK) || in check_gpgd()
276 (pgd_pfn(gpgd) >= cpu->lg->pfn_limit)) { in check_gpgd()
400 pgd_t gpgd; in demand_page() local
411 gpgd = __pgd(CHECK_GPGD_MASK); in demand_page()
413 gpgd = lgread(cpu, gpgd_addr(cpu, vaddr), pgd_t); in demand_page()
415 if (!(pgd_flags(gpgd) & _PAGE_PRESENT)) in demand_page()
422 if (!check_gpgd(cpu, gpgd)) in demand_page()
431 gpmd = lgread(cpu, gpmd_addr(gpgd, vaddr), pmd_t); in demand_page()
454 gpte_ptr = gpte_addr(cpu, gpgd, vaddr); in demand_page()
499 spte = find_spte(cpu, vaddr, true, pgd_flags(gpgd), pmd_flags(gpmd)); in demand_page()
678 pgd_t gpgd; in __guest_pa() local
691 gpgd = lgread(cpu, gpgd_addr(cpu, vaddr), pgd_t); in __guest_pa()
693 if (!(pgd_flags(gpgd) & _PAGE_PRESENT)) in __guest_pa()
697 gpmd = lgread(cpu, gpmd_addr(gpgd, vaddr), pmd_t); in __guest_pa()
702 gpte = lgread(cpu, gpte_addr(cpu, gpgd, vaddr), pte_t); in __guest_pa()