Here is a list of all class members with links to the classes they belong to:

• delayedUntil : TCB
• id : TCB
• next : TaskNode
• priority : TCB
• sp : TCB
• stackFrameLowerBoundAddr : TCB
• taskTCB : TaskNode