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, chengkunck@gmail.com <chengkunck@gmail.com> 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
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel