On Mon, 2012-07-23 at 12:14 +0530, Aneesh Kumar K.V wrote: > > if it is 0.. 15 then that clear bit is wrong right ? We are doing that > on a 64 bit va. So with that we already have ignored 0..14. It's bit 0..15 of RB passed to tlbie Cheers, Ben.