PPC_KERNEL_SR
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)(PPC_KERNEL_SR << ADDR_SR_SHIFT))
#define PPC_KERNEL_SEGMENT (PPC_KERNEL_SEG0 + PPC_KERNEL_SR)
pmap_kernel()->pm_vp[PPC_KERNEL_SR] = vp1;