Fields
- entry: Thread_Entry
- argument: *void
- result: *void
- frames: *u8
- frames_end: *u8
- next: *Green_Thread
- status: Thread_Status
- started: bool
- waiting_for: *void
- While BLOCKED: what it waits for (a mutex, a condition, a thread; null for a sleep), until when (monotonic nanoseconds, 0 for no limit), and when it started waiting.
- deadline: u64
- ticket: u64
- wake_result: s32