# configrange <first> <last>
# Configuration registers occupy addresses <first> to <last> (both
# included).
-# configword <address> <mask> <value>
+# configword <address> <mask> <value> [<and-mask>]
# The config word at address <address> only implements the bits
# indicated via <mask> (all others will be forced to 0 by the
# compiler).
# Unless overridden in C code, use the given default <value>.
+# The optional <and-mask> will be applied to the value just before
+# emitting it into the .asm file (used to disable XINST by default).
# idlocrange <first> <last>
# ID locations occupy addresses <first> to <last> (both included).
# idword <address> <value>
configword 0x300002 0x1f 0xff
configword 0x300003 0x1f 0xff
configword 0x300005 0x87 0xfb
-configword 0x300006 0xf5 0x8f
+configword 0x300006 0xf5 0x8f 0xbf
configword 0x300008 0x03 0xff
configword 0x300009 0xc0 0xff
configword 0x30000a 0x03 0xff
configword 0x300002 0x1f 0xff
configword 0x300003 0x1f 0xfb
configword 0x300005 0x87 0xfb
-configword 0x300006 0xc5 0xbf
+configword 0x300006 0xc5 0xbf 0xbf
configword 0x300008 0x0f 0xff
configword 0x300009 0x40 0xff
configword 0x30000a 0x0f 0xff
configword 0x300002 0x1f 0xff
configword 0x300003 0x1f 0xff
configword 0x300005 0x87 0xfb
-configword 0x300006 0xc5 0xbf
+configword 0x300006 0xc5 0xbf 0xbf
configword 0x300008 0x0f 0xff
configword 0x300009 0xc0 0xff
configword 0x30000a 0x0f 0xff
configword 0x300002 0x1f 0xff
configword 0x300003 0x1f 0xff
configword 0x300005 0x87 0xfb
-configword 0x300006 0xc5 0xbf
+configword 0x300006 0xc5 0xbf 0xbf
configword 0x300008 0x0f 0xff
configword 0x300009 0xc0 0xff
configword 0x30000a 0x0f 0xff
configword 0x300002 0x3f 0xdf
configword 0x300003 0x1f 0xff
configword 0x300005 0x86 0xfb
-configword 0x300006 0xed 0x97
+configword 0x300006 0xed 0x97 0xbf
configword 0x300008 0x03 0xff
configword 0x300009 0x40 0xff
configword 0x30000a 0x03 0xff
configword 0x300002 0x3f 0xdf
configword 0x300003 0x1f 0xff
configword 0x300005 0x87 0xfb
-configword 0x300006 0xe5 0x9f
+configword 0x300006 0xe5 0x9f 0xbf
configword 0x300008 0x0f 0xff
configword 0x300009 0xc0 0xff
configword 0x30000a 0x0f 0xff
configword 0x300002 0x1f 0xff
configword 0x300003 0x1f 0xff
configword 0x300005 0x86 0xfb
-configword 0x300006 0xd5 0xaf
+configword 0x300006 0xd5 0xaf 0xbf
configword 0x300008 0x0f 0xff
configword 0x300009 0xc0 0xff
configword 0x30000a 0x0f 0xff
configword 0x300002 0x1f 0xff
configword 0x300003 0x1f 0xff
configword 0x300005 0x87 0xfb
-configword 0x300006 0xc5 0xbf
+configword 0x300006 0xc5 0xbf 0xbf
configword 0x300008 0x0f 0xff
configword 0x300009 0xc0 0xff
configword 0x30000a 0x0f 0xff
configword 0x300002 0x1f 0xff
configword 0x300003 0x1f 0xff
configword 0x300005 0x86 0xfb
-configword 0x300006 0xf5 0x8f
+configword 0x300006 0xf5 0x8f 0xbf
configword 0x300008 0x0f 0xff
configword 0x300009 0xc0 0xff
configword 0x30000a 0x0f 0xff
configword 0x300002 0x1f 0xff
configword 0x300003 0x1f 0xff
configword 0x300005 0x86 0xfb
-configword 0x300006 0xf5 0x8f
+configword 0x300006 0xf5 0x8f 0xbf
configword 0x300008 0x3f 0xff
configword 0x300009 0xc0 0xff
configword 0x30000a 0x3f 0xff