Searched refs:gpgd (Results 1 – 1 of 1) sorted by relevance
170 static unsigned long gpmd_addr(pgd_t gpgd, unsigned long vaddr) in gpmd_addr() argument172 unsigned long gpage = pgd_pfn(gpgd) << PAGE_SHIFT; in gpmd_addr()173 BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT)); in gpmd_addr()189 pgd_t gpgd, unsigned long vaddr) in gpte_addr() argument191 unsigned long gpage = pgd_pfn(gpgd) << PAGE_SHIFT; in gpte_addr()193 BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT)); in gpte_addr()286 static void check_gpgd(struct lg_cpu *cpu, pgd_t gpgd) in check_gpgd() argument288 if ((pgd_flags(gpgd) & ~CHECK_GPGD_MASK) || in check_gpgd()289 (pgd_pfn(gpgd) >= cpu->lg->pfn_limit)) in check_gpgd()315 pgd_t gpgd; in demand_page() local[all …]