Lines Matching refs:gpmd
153 pmd_t gpmd, unsigned long vaddr) in gpte_addr() argument
155 unsigned long gpage = pmd_pfn(gpmd) << PAGE_SHIFT; in gpte_addr()
157 BUG_ON(!(pmd_flags(gpmd) & _PAGE_PRESENT)); in gpte_addr()
284 static bool check_gpmd(struct lg_cpu *cpu, pmd_t gpmd) in check_gpmd() argument
286 if ((pmd_flags(gpmd) & ~_PAGE_TABLE) || in check_gpmd()
287 (pmd_pfn(gpmd) >= cpu->lg->pfn_limit)) { in check_gpmd()
399 pmd_t gpmd; in demand_page() local
427 gpmd = __pmd(_PAGE_TABLE); in demand_page()
431 gpmd = lgread(cpu, gpmd_addr(gpgd, vaddr), pmd_t); in demand_page()
433 if (!(pmd_flags(gpmd) & _PAGE_PRESENT)) in demand_page()
440 if (!check_gpmd(cpu, gpmd)) in demand_page()
448 gpte_ptr = gpte_addr(cpu, gpmd, vaddr); in demand_page()
499 spte = find_spte(cpu, vaddr, true, pgd_flags(gpgd), pmd_flags(gpmd)); in demand_page()
681 pmd_t gpmd; in __guest_pa() local
697 gpmd = lgread(cpu, gpmd_addr(gpgd, vaddr), pmd_t); in __guest_pa()
698 if (!(pmd_flags(gpmd) & _PAGE_PRESENT)) in __guest_pa()
700 gpte = lgread(cpu, gpte_addr(cpu, gpmd, vaddr), pte_t); in __guest_pa()