VM_MIN_KERNEL_ADDRESS
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t) 0xffffc00000000000L)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)ALPHA_K1SEG_BASE)
#define VM_MIN_KERNEL_ADDRESS vm_min_kernel_address
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t) KERNEL_BASE)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0x00002000) /* XXX */
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0xC0000000)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0xc0001000)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)(PDIR_SLOT_KERN << L2_SHIFT))
#define VM_MIN_KERNEL_ADDRESS VM_MAXUSER_ADDRESS
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t) 3L << 62) /* 0xC000000000000000 */
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)-0x40000000) /* 0xFFFFFFFFC0000000 */
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t) 0x80000000L)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t) 0xe4000000)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0x80000000)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)(KERNEL_SR << ADDR_SR_SHFT))
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t) 0xffffffUL << 40) /* top 1TB */
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t) (KERNEL_SR << ADDR_SR_SHFT))
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0xffffffc000000000)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)-0x7fffffff-1)/* 0xffff_ffff_8000_0000 */
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0xc0000000)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)KERNBASE)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)KERNBASE)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)KERNBASE)
#define VM_MIN_KERNEL_ADDRESS kernbase
#define VM_MIN_KERNEL_ADDRESS kmem_kvm_start
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)KERNBASE)