rather than and-ing 16G-1. That just strips the k0seg bits, rather than making the false assumption that the physical address is going to be in the lower 16G. That doesn't apply for CIA device-space addresses, for instance.