VM_MAX_KERNEL_ADDRESS
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)ALPHA_K1SEG_END)
#define VM_MAX_KERNEL_ADDRESS 0xffff800100000000
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0xffffff83ffffffffULL)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0xef000000)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)(PDSLOT_APTE<<PDSHIFT))
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0x40000000)
#define VM_MAX_KERNEL_ADDRESS (VM_MIN_KERNEL_ADDRESS + VM_KERN_ADDRESS_SIZE)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0xc000000040000000L)
#define VM_MAX_KERNEL_ADDRESS 0xc0000007ffffffffUL
#define VM_MAX_KERNEL_ADDRESS (0xffffffc800000000UL)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0xe0000000)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)0x000007ffffffffffL)