Searched refs:gpgd (Results 1 – 1 of 1) sorted by relevance
144 static unsigned long gpmd_addr(pgd_t gpgd, unsigned long vaddr) in gpmd_addr() argument146 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() argument165 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() argument275 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[all …]