firmware/lib/libc/crt_priv.h

#ifndef _LIBC_CRT_PRIV_H_
#define _LIBC_CRT_PRIV_H_

void __crt_init(void);
void __crt_exit(void);

#endif /* _LIBC_CRT_PRIV_H_ */