Home
last modified time | relevance | path

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

/drivers/lguest/
Dpage_tables.c103 BUG_ON(!(pgd_flags(spgd) & _PAGE_PRESENT)); in spmd_addr()
126 BUG_ON(!(pgd_flags(spgd) & _PAGE_PRESENT)); in spte_addr()
147 BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT)); in gpmd_addr()
167 BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT)); in gpte_addr()
275 if ((pgd_flags(gpgd) & ~CHECK_GPGD_MASK) || in check_gpgd()
304 int pgd_flags, int pmd_flags) in find_spte() argument
314 if (!(pgd_flags(*spgd) & _PAGE_PRESENT)) { in find_spte()
335 set_pgd(spgd, __pgd(__pa(ptepage) | pgd_flags)); in find_spte()
415 if (!(pgd_flags(gpgd) & _PAGE_PRESENT)) in demand_page()
499 spte = find_spte(cpu, vaddr, true, pgd_flags(gpgd), pmd_flags(gpmd)); in demand_page()
[all …]
Dlg.h148 #define pgd_flags(x) (pgd_val(x) & ~PAGE_MASK) macro