# First some symbols used by the C runtime.
_GLOBAL_OFFSET_TABLE_
__errno_location
__stack_chk_fail
__stack_chk_guard
# Now stuff that is used by the Jittery runtime, outside of
# instructions.  Note that we also have to add the
# rpl_* symbols that gnulib may replace, and also the
# corresponding *_chk functions called by FORTIFY_SOURCE
# instrumentalization.
pvm_states
pvm_vm_configuration
pvm_make_place_for_slow_registers
pvm_disassemble_program
pvm_defect_descriptors_correct_displacement
printf
__printf_chk
rpl_printf
putchar
stpcpy
__stpcpy_chk
strcpy
__strcpy_chk
strlen
memcpy
rpl_memcpy
__fprintf_chk
fprintf
rpl_fprintf
fputc
rpl_fputc
fwrite
rpl_fwrite
fflush
rpl_fflush
stdout
abort
# These are funcalls generated by GCC for / and % in some architectures.
# We only use / and % from within instructions marked as non-relocatable.
__divdi3
__moddi3
__udivdi3
__umoddi3
__aeabi_idiv
__aeabi_idivmod
__aeabi_ldivmod
__aeabi_uidiv
__aeabi_uidivmod
__aeabi_uldivmod
