In trying to satisfy safety feature RAM11 (Software read back of written configuration) in the Hercules safety manual I am using the Halcogen API call sramGetConfigValue to read the, among others, tcramNReg->RAMINTCTRL register. To verify that the contents of this register haven't changed I call sramGetConfigValue to read the initial setting and then again to read the current setting and I compare the values. In the case of the RAMINTCTRL register my initial setting is 1 (which according to the tech. reference manual means that single bit error correction interrupt is enabled) but when I read the current value it is 0. Why the difference? I am not manually setting the value of this register to 0 anywhere in the code. Isn't the initial setting (the Halcogen variable SRAM_RAMINTCTRL_CONFIGVALUE) set by Halcogen? Why would the actual current setting be 0 if I haven't manually written to this register?