2 Nov
2012
2 Nov
'12
5:44 a.m.
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