__rt_lib_shutdown()
Defined in rt_misc.h, this is the library shutdown function and is the companion to __rt_lib_init().
rt_misc.h
__rt_lib_init()
void __rt_lib_shutdown(void);
This function is provided in case a user must call it directly. This is the standard ARM C library shutdown function and it must not be reimplemented.