#define PTE_UXN			(_AT(pteval_t, 1) << 54)	/* User XN */
#define PTE_PBHA_MASK		(_AT(pteval_t, 0xf) << 59)	/* Page Base Hardware Attributes */
#define PTE_PBHA0		(_AT(pteval_t, 1) << 59)	/* PBHA 59 bit */
#ifdef CONFIG_HIVE
#define PTE_BPF_SFI_GP	(_AT(pteval_t, 1) << 55)	/* BPF_SFI guarded */
#endif

#define PTE_ADDR_LOW		(((_AT(pteval_t, 1) << (48 - PAGE_SHIFT)) - 1) << PAGE_SHIFT)
