Home
last modified time | relevance | path

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

/linux-4.1.27/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
/linux-4.1.27/arch/x86/include/asm/
Dpgtable.h602 return pgd_flags(pgd) & _PAGE_PRESENT; in pgd_present()
629 return (pgd_flags(pgd) & ~_PAGE_USER) != _KERNPG_TABLE; in pgd_bad()
Dpgtable_types.h232 static inline pgdval_t pgd_flags(pgd_t pgd) in pgd_flags() function
/linux-4.1.27/arch/x86/mm/
Dfault.c609 (pgd_flags(*pgd) & _PAGE_USER) && in show_fault_oops()