Symbol: KERNEL_VSID_BIT
sys/arch/powerpc64/powerpc64/pmap.c
275
vsid = (((esid << 8) | (esid > 28)) * 0x13bb) & (KERNEL_VSID_BIT - 1);
sys/arch/powerpc64/powerpc64/pmap.c
276
return vsid | KERNEL_VSID_BIT;
sys/arch/powerpc64/powerpc64/pmap.c
435
KASSERT((slbd->slbd_vsid & KERNEL_VSID_BIT) == 0);