Home
last modified time | relevance | path

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

/drivers/lguest/
Dpage_tables.c153 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()
274 static bool check_gpmd(struct lg_cpu *cpu, pmd_t gpmd) in check_gpmd() argument
276 if ((pmd_flags(gpmd) & ~_PAGE_TABLE) || in check_gpmd()
277 (pmd_pfn(gpmd) >= cpu->lg->pfn_limit)) { in check_gpmd()
383 pmd_t gpmd; in demand_page() local
409 gpmd = __pmd(_PAGE_TABLE); in demand_page()
413 gpmd = lgread(cpu, gpmd_addr(gpgd, vaddr), pmd_t); in demand_page()
415 if (!(pmd_flags(gpmd) & _PAGE_PRESENT)) in demand_page()
[all …]