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
It forces the linker to place a variable at a specific memory address (compiler passes attribute to linker), presumably to allow a different application to read the speed of the processor currently. For example in a boot-loader to application scenario.