of b healing by the 32 least-significant bits are implemented first: that is, if VMIDLEN > 0, VMID[VMIDLEN-1:0] is writable. However, U-mode may only begin using a