nanvix/microkernel

[pm] Get ID of Current Thread

ppenna opened this issue · 0 comments

Description

We pretty much use thread_get_id(thread_get_curr()) every where.

For improving readability we should introduced an alias for this, like thread_get_curr_id().