• block_read : filesystem.h
• block_write : filesystem.h
• builtin_double_fn : basic.h
• builtin_int_fn : basic.h
• builtin_str_fn : basic.h
• cpu_id_t : taskswitch.h
• create_dir : filesystem.h
• create_file : filesystem.h
• delete_dir : filesystem.h
• delete_file : filesystem.h
• dns_reply_callback_a : dns.h
• dns_reply_callback_aaaa : dns.h
• dns_reply_callback_ptr : dns.h
• ethernet_protocol_t : ethernet.h
• fnptr_t : printf.h
• get_directory : filesystem.h
• gid_t : taskswitch.h
• isr_t : interrupt.h
• mode_t : filesystem.h
• mount_volume : filesystem.h
• pid_t : taskswitch.h
• proc_idle_timer_t : taskswitch.h
• read_file : filesystem.h
• spinlock : spinlock.h
• time_t : clock.h
• truncate_file : filesystem.h
• udp_daemon_handler : udp.h
• uid_t : taskswitch.h
• va_list : printf.h
• write_file : filesystem.h