TMS570LC4357: SECDED diagnostic result discrepancy

In trying to do SECDED Software Diagnostics, as documented in 7.8.4 my customer had the following observation:

RCR_VALUE0 = 0xffffffff

RCR_VALUE1 = 0x3ff

RCR_VALID = 0x3

F0080140h = 0xffffffff

F0080144h = 0xffffffff

F0000000h = 0xeffdffff

F0000004h = 0xffffffff

If the RCR_VALID were correct as seen above, we would expect RCR_VALUE* to match the data read from the most recent implicit read, but RCR_VALUE* matches neither F0000000h nor F0080140h contents. So, either there is another more recent implicit read or the contents of F0000000h changed in the time between the implicit read and our software read.

Why do you think they are seeing this discrepancy?

Thanks!