pte_val
#define pte_val(x) ((x).pte)
#define pte_val(x) (x)
#define pte_val(x) ((x).pte)
#define pte_val(x) (x)
#define pte_val(x) ((x).pte)
#define pte_val(x) (x)
#define pte_val(x) ((x).pte)
#define pte_val(x) (x)
#define pte_val(x) ((x).pte)
#define pte_val(x) ((x).pte_low)
#define pte_val(x) ((x).pte)
#define pte_val(x) ((x).pte)
#define pte_val(x) ((x).pte)
# define pte_val(x) ((x).pte)
#define pte_val(x) ((x).pte_low | ((unsigned long long)(x).pte_high << 32))
#define pte_val(x) ((x).pte)
#define pte_val(x) ((x).pte)
#define pte_val(x) ((x).pte)
#define pte_val(x) ((x).pte)
#define pte_val(x) ((x).pte)
#define pte_val(x) (x)
static inline unsigned long pte_val(pte_t x)
static inline pte_basic_t pte_val(pte_t x)
static inline pte_basic_t pte_val(pte_t x)
#define pte_val(x) ((x).pte)
#define pte_val(x) \
#define pte_val(x) ((x).pte_low)
#define pte_val(x) ((x).pte)
#define pte_val(x) (x)
#define pte_val(x) ((x).pte)
#define pte_val(x) (x)
#define pte_val(x) ((x).pte)
static inline pteval_t pte_val(pte_t pte)
#define pte_val(x) native_pte_val(x)
#define pte_val(x) ((x).pte)