Home
last modified time | relevance | path

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

/drivers/lguest/
Dpage_tables.c92 BUG_ON(!(pgd_flags(spgd) & _PAGE_PRESENT)); in spte_addr()
107 BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT)); in gpte_addr()
187 if ((pgd_flags(gpgd) & ~_PAGE_TABLE) || in check_gpgd()
213 if (!(pgd_flags(gpgd) & _PAGE_PRESENT)) in demand_page()
218 if (!(pgd_flags(*spgd) & _PAGE_PRESENT)) { in demand_page()
231 *spgd = __pgd(__pa(ptepage) | pgd_flags(gpgd)); in demand_page()
306 if (!(pgd_flags(*spgd) & _PAGE_PRESENT)) in page_writable()
329 if (pgd_flags(*spgd) & _PAGE_PRESENT) { in release_pgd()
376 if (!(pgd_flags(gpgd) & _PAGE_PRESENT)) in guest_pa()
507 if (pgd_flags(*spgd) & _PAGE_PRESENT) { in do_set_pte()
Dlg.h138 #define pgd_flags(x) (pgd_val(x) & ~PAGE_MASK) macro