Re: High 32 bits of SFMASK is reserved