kernel/thread: Make thread_id a 64-bit value
The kernel uses a 64-bit value for the thread ID, so we shouldn't be using a 32-bit value.
Please register or sign in to comment
The kernel uses a 64-bit value for the thread ID, so we shouldn't be using a 32-bit value.