Lines Matching refs:p4d_val
76 printk("%s:%d: bad p4d %p.\n", __FILE__, __LINE__, (void *) p4d_val(e))
643 return (p4d_val(p4d) & _REGION_ENTRY_TYPE_MASK) < _REGION_ENTRY_TYPE_R2;
650 return (p4d_val(p4d) & _REGION_ENTRY_ORIGIN) != 0UL;
657 return p4d_val(p4d) == _REGION2_ENTRY_EMPTY;
665 return (p4d_val(p4d) & origin_mask) >> PAGE_SHIFT;
721 unsigned long type = p4d_val(p4d) & _REGION_ENTRY_TYPE_MASK;
727 return (p4d_val(p4d) & ~_REGION_ENTRY_BITS) != 0;
898 if ((p4d_val(*p4d) & _REGION_ENTRY_TYPE_MASK) == _REGION_ENTRY_TYPE_R2)
899 p4d_val(*p4d) = _REGION2_ENTRY_EMPTY;
1240 #define p4d_deref(pud) (p4d_val(pud) & _REGION_ENTRY_ORIGIN)
1313 if ((p4d_val(p4d) & _REGION_ENTRY_TYPE_MASK) >= _REGION_ENTRY_TYPE_R2)