About getting thread id

jaeyong yoo y.jaeyong at ...9...
Fri Nov 2 05:44:43 CET 2012

Hello genode,
I have a rather simple question.
At any place in source code, how can I know the thread id?

For instance, in the body of main function like,

int main()
... blah
    id = some_action_to_get_thread_id();
... blah

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20121102/966122b0/attachment.html>

More information about the users mailing list