- c -

• check_if_i2c_device_is_present() : utilities.c , utilities.h
• cleanup_platform() : platform.c , platform.h

- d -

• delay() : utilities.c , utilities.h
• disable_caches() : platform.c

- e -

• enable_caches() : platform.c

- g -

• GetLine() : utilities.c , utilities.h
• getUartByte() : utilities.c , utilities.h

- h -

• htoi() : utilities.c , utilities.h

- i -

• init_platform() : platform.c , platform.h
• init_uart() : platform.c

- l -

• led_knight_rider() : utilities.c , utilities.h

- m -

• main() : MAXREFDES14.c
• max_configure_PMOD_port() : utilities.c , utilities.h
• menu_cls() : menu.c , menu.h
• menu_print_line() : menu.c
• menu_print_main_menu() : menu.h , menu.c
• menu_print_maxim_banner() : menu.c , menu.h
• menu_print_maxim_banner_big() : menu.c , menu.h
• menu_print_prompt() : menu.h , menu.c
• menu_read_reg() : menu.c
• menu_retrieve_keypress() : menu.h , menu.c

- n -

• number_raised_to_power() : utilities.c , utilities.h

- p -

• print_asterisks() : utilities.c , utilities.h
• print_seven_segment_four_digits() : utilities.h
• print_seven_segment_number() : utilities.h
• print_seven_segment_temperature() : utilities.h
• print_seven_segment_time() : utilities.h
• printf_temp() : utilities.h , utilities.c

- r -

• read_reg() : maximDeviceSpecificUtilities.c , maximDeviceSpecificUtilities.h
• receive_byte_with_timeout() : utilities.c , utilities.h

- s -

• set_seven_segment_character() : utilities.h
• SpiRW() : utilities.h , utilities.c

- w -

• write_reg() : maximDeviceSpecificUtilities.c , maximDeviceSpecificUtilities.h