Symbol: PPC_BITLSHIFT_VAL
sys/powerpc/aim/mmu_radix.c
741
rb = PPC_BITLSHIFT_VAL(set, 51) | PPC_BITLSHIFT_VAL(is, 53);
sys/powerpc/aim/mmu_radix.c
742
rs = PPC_BITLSHIFT_VAL((uint64_t)pid, 31);