问一个简单的start.S中的非技术性问题

CFG_MALLOC_LEN和CFG_GBL_DATA_SIZE都是定义在EmbedSky.h中，但我没见有哪个源文件include了它呀~~
我是用Source Insight建的工程，makefile .mk .c .h .S都加进去了的。搜字符串“EmbedSky.h”也没搜到。

        /* Set up the stack                                                    */
stack_setup:
        ldr        r0, _TEXT_BASE                /* upper 128 KiB: relocated uboot   */
        sub        r0, r0, #CFG_MALLOC_LEN        /* malloc area                      */
        sub        r0, r0, #CFG_GBL_DATA_SIZE /* bdinfo                        */

麻烦管理员指点一下，多谢，呵呵。