ADDR_SR_SHIFT
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t)(PPC_KERNEL_SR << ADDR_SR_SHIFT))
#define PPC_USER_ADDR ((void *)(PPC_USER_SR << ADDR_SR_SHIFT))
ppc_mtsrin(PPC_KERNEL_SEG0 + i, i << ADDR_SR_SHIFT);
<< ADDR_SR_SHIFT;
return sr[(u_int)va >> ADDR_SR_SHIFT];
if ((va >> ADDR_SR_SHIFT) == PPC_USER_SR) {
va |= user_sr << ADDR_SR_SHIFT;