in a xmc1100 device within the system_XMC1100.c file I got this line
uint32_t SystemCoreClock __attribute__((at(0x20003FFC)));
Its meaning?
http://www.keil.com/support/man/docs/armcc/armcc_chr1359124981140.htm