p4d_bad
#define p4d_bad(x) ((p4d_val(x) & ~PAGE_MASK))
#define p4d_bad(p4d) (pgtable_l4_enabled() && \
static inline int p4d_bad(p4d_t p4d)
static inline int p4d_bad(p4d_t p4d)
static inline int p4d_bad(p4d_t p4d)
#define p4d_bad(p4d) (p4d_val(p4d) == 0)
static inline int p4d_bad(p4d_t p4d)
static inline int p4d_bad(p4d_t p4d)
#define p4d_bad(p4d) (p4d_val(p4d) & ~PAGE_MASK)
#define p4d_bad(x) ((p4d_val(x) & (~PAGE_MASK & ~_PAGE_USER)) != _KERNPG_TABLE)
static inline int p4d_bad(p4d_t p4d)
static inline int p4d_bad(p4d_t p4d) { return 0; }