/* This is a generated file, do not edit!! */
int __assert;
int abort;
int abs;
int arch_abort;
int arch_exec;
int arch_exec_at;
int arch_exit;
int arch_stk_trace;
int arch_stk_trace_at;
int calloc;
int cond_broadcast;
int cond_create;
int cond_destroy;
int cond_signal;
int cond_wait;
int cond_wait_timed;
int dbgio_dev_get;
int dbgio_dev_select;
int dbgio_disable;
int dbgio_enable;
int dbgio_flush;
int dbgio_printf;
int dbgio_read;
int dbgio_read_buffer;
int dbgio_set_irq_usage;
int dbgio_write;
int dbgio_write_buffer;
int dbgio_write_buffer_xlat;
int dbgio_write_str;
int dbglog;
int dcache_flush_range;
int dcache_inval_range;
int elf_free;
int elf_load;
int exit;
int fclose;
int fdopen;
int fflush;
int fopen;
int fputc;
int fread;
int free;
int fs_chdir;
int fs_close;
int fs_complete;
int fs_copy;
int fs_dup;
int fs_dup2;
int fs_get_handle;
int fs_get_handler;
int fs_getwd;
int fs_ioctl;
int fs_load;
int fs_mkdir;
int fs_mmap;
int fs_open;
int fs_open_handle;
int fs_pty_create;
int fs_read;
int fs_readdir;
int fs_rename;
int fs_rmdir;
int fs_romdisk_mount;
int fs_romdisk_unmount;
int fs_seek;
int fs_stat;
int fs_tell;
int fs_total;
int fs_unlink;
int fs_write;
int fseek;
int ftell;
int fwrite;
int genwait_wait;
int genwait_wake_all;
int genwait_wake_cnt;
int genwait_wake_one;
int icache_flush_range;
int irq_disable;
int irq_enable;
int irq_force_return;
int irq_get_context;
int irq_get_global_handler;
int irq_get_handler;
int irq_inside_int;
int irq_restore;
int irq_set_context;
int irq_set_global_handler;
int irq_set_handler;
int mallinfo;
int malloc;
int malloc_irq_safe;
int malloc_stats;
int mem_check_all;
int mem_check_block;
int memalign;
int memcmp;
int memcpy;
int memset;
int mmu_context_create;
int mmu_context_destroy;
int mmu_copyin;
int mmu_copyv;
int mmu_init;
int mmu_map_get_callback;
int mmu_map_set_callback;
int mmu_page_map;
int mmu_reset_itlb;
int mmu_shutdown;
int mmu_switch_context;
int mmu_use_table;
int mmu_virt_to_phys;
int mutex_create;
int mutex_destroy;
int mutex_is_locked;
int mutex_lock;
int mutex_lock_timed;
int mutex_trylock;
int mutex_unlock;
int net_get_if_list;
int net_input;
int net_input_set_target;
int net_reg_device;
int net_unreg_device;
int nmmgr_get_list;
int nmmgr_handler_add;
int nmmgr_handler_remove;
int nmmgr_lookup;
int panic;
int printf;
int realloc;
int rewind;
int rtc_boot_time;
int rtc_unix_secs;
int sem_count;
int sem_create;
int sem_destroy;
int sem_signal;
int sem_trywait;
int sem_wait;
int sem_wait_timed;
int sprintf;
int strcasecmp;
int strcat;
int strcpy;
int strlen;
int strncasecmp;
int strncat;
int thd_block_now;
int thd_by_tid;
int thd_create;
int thd_destroy;
int thd_exit;
int thd_get_current;
int thd_get_errno;
int thd_get_label;
int thd_get_pwd;
int thd_pass;
int thd_pslist;
int thd_pslist_queue;
int thd_schedule;
int thd_schedule_next;
int thd_set_label;
int thd_set_mode;
int thd_set_prio;
int thd_set_pwd;
int thd_sleep;
int thd_wait;
int timer_ms_gettime;
int timer_ms_gettime64;
int timer_primary_set_callback;
int timer_primary_wakeup;
int timer_spin_sleep;
int valloc;
int vsprintf;
