- d -

• dequeue() : queue.h
• dispatcher_init() : dispatcher.h

- e -

• enqueue() : queue.h

- f -

• free() : memory.h

- g -

• get_context() : pcb.h
• get_current_pcb() : dispatcher.h
• get_pc() : pcb.h
• get_pid() : pcb.h

- h -

• hexadecimal_to_char() : stdlib.h

- i -

• init_context() : pcb.h
• init_pcb() : pcb.h
• init_stack() : pcb.h
• itoa() : stdlib.h

- l -

• list_size() : queue.h

- m -

• malloc() : memory.h
• mem_init() : memory.h

- n -

• number_to_char() : stdlib.h

- p -

• print_to_ascii() : stdio.h
• print_to_led() : stdio.h
• printf() : stdio.h
• printk() : stdio.h
• process_switch() : dispatcher.h

- q -

• queue_destroy() : queue.h
• queue_new() : queue.h

- r -

• rand() : k_rand.h
• reset_led() : stdio.h

- s -

• set_pcb_state() : pcb.h
• spawn_process() : dispatcher.h
• stack_destroy() : stack.h
• stack_init() : stack.h
• stack_pop() : stack.h
• stack_push() : stack.h
• stack_size() : stack.h
• strcmp() : stdlib.h
• strlen() : stdlib.h