The documentation for this struct was generated from the following files:

src/kernel/arch/aarch32/board/raspi2/arch/task.h
src/kernel/arch/aarch64/board/raspi3/arch/task.h
src/kernel/arch/x86_64/arch/task.h