VM_MIN_KERNEL_ADDRESS
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)ALPHA_K1SEG_BASE)
#define VM_MIN_KERNEL_ADDRESS 0xffff800000000000
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t) ARM_KERNEL_BASE)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0xffffff8000000000ULL)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0xc0001000)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)KERNBASE)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0x00000000)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)(PPC_KERNEL_SR << ADDR_SR_SHIFT))
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0xc000000000000000L)
#define VM_MIN_KERNEL_ADDRESS 0xc000000000000000UL
#define VM_MIN_KERNEL_ADDRESS (0xffffffc000000000UL)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)0xc0000000)
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)KERNBASE)