Lines Matching refs:pgd_flags
129 BUG_ON(!(pgd_flags(spgd) & _PAGE_PRESENT));
152 BUG_ON(!(pgd_flags(spgd) & _PAGE_PRESENT));
173 BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT));
193 BUG_ON(!(pgd_flags(gpgd) & _PAGE_PRESENT));
288 if ((pgd_flags(gpgd) & ~CHECK_GPGD_MASK) ||
330 if (!(pgd_flags(gpgd) & _PAGE_PRESENT))
335 if (!(pgd_flags(*spgd) & _PAGE_PRESENT)) {
352 set_pgd(spgd, __pgd(__pa(ptepage) | pgd_flags(gpgd)));
489 if (!(pgd_flags(*spgd) & _PAGE_PRESENT))
539 if (pgd_flags(*spgd) & _PAGE_PRESENT) {
562 if (pgd_flags(*spgd) & _PAGE_PRESENT) {
618 if (!(pgd_flags(gpgd) & _PAGE_PRESENT)) {
820 if (pgd_flags(*spgd) & _PAGE_PRESENT) {