_PAGE_HUGE
#define _PAGE_HUGE (_ULCAST_(1) << _PAGE_HUGE_SHIFT)
# define _PAGE_HUGE (1 << _PAGE_HUGE_SHIFT)
#define _PAGE_HUGE (1 << xlate_pabit(_PAGE_HPAGE_BIT))
#define _PAGE_HUGE 0x0800 /* Copied to L1 PS bit 29 */