118d117
< #if FULL_SYSTEM
145d143
< void initCPU(ThreadContext *tc, int cpuId);
146a145,146
> #if FULL_SYSTEM
> void initCPU(ThreadContext *tc, int cpuId);