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
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