About getting thread id

[jaeyong yoo]

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
}

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