Here is a list of all documented functions with links to the documentation:

• getCurrentThread() : scheduler.h, scheduler.c
• puts() : stdio.h
• schedulerAddThread() : scheduler.h, scheduler.c
• schedulerInit() : scheduler.h, scheduler.c