Hi Kenneth, After you build the kernel, you can find its definition in build/kernelkernel_final.c file. But I do no know how it is generated. I guess it is generated by some scripts or preprocessor. I also hope the answer from sel4 expert.
Best, Yuxin On Tue, Oct 28, 2014 at 3:59 AM, [email protected] <[email protected]> wrote: > Hello everyone, > > Currently I'm going through the source code of seL4. I find function in > seL4\src\object\Tcb.c that I can't find it's definition. > > In line 59, *tcbSchedEnqueue* calls a function > '*thread_state_ptr_set_tcbQueued(&tcb->tcbState, > true)*'. However, even with the help of Source Insight I still can't > locate the definition of '*thread_state_ptr_set_tcbQueued' .* Does anyone > know where it is ? > > Thanks in advance. > > Best regards, > Kenneth. > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
