On 2/28/20 9:34 AM, Peter Maydell wrote: > One of us is miscounting, and I don't *think* it's me... > > bits 63..0: ff80ff8c90000000 > bits 63..32: ff80ff8c > bits 64..48: ff80 > > bit 48 looks like it's 0 to me.
Oops, yes, it's me. > You could refine the valid mask as the & of the bits which we > do want to exist in aarch32, rather than &~ of the reserved bits: > > valid_mask &= TTLBIS | TOCU | TICAB | ... > > ? Yes, that's a good idea. r~