TMS570LC4357: Discrepancy between the initial value of GPREG1 and SYS_GPREG1_CONFIGVALUE

Hello,

I am using the TMS570LC4357 and I have a question about the initial configuration value for one of the system registers, General Purpose Register (GPREG1).

In HL_system.c the function systemGetConfigValue() returns either initial or current value for each register.
For the initial value of GPREG1 systemGetConfigValue() returns SYS_GPREG1_CONFIGVALUE.
SYS_GPREG1_CONFIGVALUE is defined in HL_system.c as follows
#define SYS_GPREG1_CONFIGVALUE  0x0005FFFFU

There does not appear to be anywhere within the HALCoGen generated code where GPREG1 is explicitly initialised.
The value of GPREG1 after reset is 0x00000000U - as defined in section 2.5.1.34 General Purpose Register (GPREG1) of the Technical Reference Manual TMS570LC43x 16/32-Bit RISC Flash  Microcontroller (SPNU563A March 2018).
                                    
Can I therefore assume that the value of SYS_GPREG1_CONFIGVALUE as generated by HALCoGen is wrong and the correct configuration value should be 0x00000000U.


Thank you.