The regmask currently being used is wrong - 0x1FFF includes the high two bits of the register type.
Attach a file by drag & drop or click to upload
