VM_MAX_KERNEL_ADDRESS
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t) 0xffffffffffe00000L)
#define VM_MAX_KERNEL_ADDRESS trunc_page((vaddr_t)ALPHA_K1SEG_END)
#define VM_MAX_KERNEL_ADDRESS vm_max_kernel_address
#undef VM_MAX_KERNEL_ADDRESS
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0xDFFFF000)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t) -(PAGE_SIZE+1))
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)-PAGE_SIZE)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0xF0000000)
#undef VM_MAX_KERNEL_ADDRESS
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0xef000000)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)((PDIR_SLOT_KERN + NKL2_MAX_ENTRIES) << L2_SHIFT))
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t) (IA64_RR_BASE(6) - 1))
#define VM_MAX_KERNEL_ADDRESS (kernel_virtual_max)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t) -1L << 31) /* 0xFFFFFFFF80000000 */
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)-0x01000000) /* 0xFFFFFFFFFF000000 */
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)-0x00004000) /* 0xFFFFFFFFFFFFC000 */
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t) -PAGE_SIZE)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t) 0xfefff000)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0xe0000000)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0xef000000) /* before I/O periphs */
#define VM_MAX_KERNEL_ADDRESS (VM_MIN_KERNEL_ADDRESS + SEGMENT_LENGTH - 1)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t) -32768)
#define VM_MAX_KERNEL_ADDRESS (VM_MIN_KERNEL_ADDRESS + 2*SEGMENT_LENGTH)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0xffffffd000000000)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)-0x10000000) /* 0xffff_ffff_f000_0000 */
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0xe0000000)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)KERNEND)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0x000007ffffffffffUL)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)KERNEND)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)KERN_END)
#define VM_MAX_KERNEL_ADDRESS kern_end
#define VM_MAX_KERNEL_ADDRESS kmem_k_end
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)(0xC0000000))