2022-04-04 10:20:15 +00:00
|
|
|
#include "types.h"
|
|
|
|
|
|
2022-09-08 04:42:56 +00:00
|
|
|
#ifdef __cplusplus
|
2022-09-18 06:05:46 +00:00
|
|
|
extern "C" {
|
2022-09-08 04:42:56 +00:00
|
|
|
#endif
|
|
|
|
|
__declspec(section ".init") void __init_hardware(void);
|
|
|
|
|
__declspec(section ".init") void __flush_cache(register void* address, register unsigned int size);
|
2022-04-04 10:20:15 +00:00
|
|
|
|
2022-09-08 04:42:56 +00:00
|
|
|
void __init_user(void);
|
|
|
|
|
void __init_cpp(void);
|
|
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
|
}
|
|
|
|
|
#endif
|
