in a xmc1100 device within the system_XMC1100.c file I got this line
uint32_t SystemCoreClock __attribute__((at(0x20003FFC)));
Its meaning?