Home
last modified time | relevance | path

Searched refs:gpmd (Results 1 – 1 of 1) sorted by relevance

/linux-3.4.99/drivers/lguest/
Dpage_tables.c178 pmd_t gpmd, unsigned long vaddr) in gpte_addr() argument
180 unsigned long gpage = pmd_pfn(gpmd) << PAGE_SHIFT; in gpte_addr()
182 BUG_ON(!(pmd_flags(gpmd) & _PAGE_PRESENT)); in gpte_addr()
293 static void check_gpmd(struct lg_cpu *cpu, pmd_t gpmd) in check_gpmd() argument
295 if ((pmd_flags(gpmd) & ~_PAGE_TABLE) || in check_gpmd()
296 (pmd_pfn(gpmd) >= cpu->lg->pfn_limit)) in check_gpmd()
323 pmd_t gpmd; in demand_page() local
362 gpmd = __pmd(_PAGE_TABLE); in demand_page()
364 gpmd = lgread(cpu, gpmd_addr(gpgd, vaddr), pmd_t); in demand_page()
366 if (!(pmd_flags(gpmd) & _PAGE_PRESENT)) in demand_page()
[all …]