KERNEL_SR
#define KERNEL_SEGMENT (0xfffff0 + KERNEL_SR)
#define VM_MIN_KERNEL_ADDRESS ((vm_offset_t)KERNEL_SR << ADDR_SR_SHFT)