| 48,6 → 48,14 |
|---|
| #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) |
| |
| |
| /** Called when the CPU is switched on. |
| * |
| * This function is placed to the 0x0 address where ARM CPU starts execution. |
| * Jumps to the #bootstrap only. |
| */ |
| extern void start(void); |
| |
| |
| /** Jumps to the kernel entry point. |
| * |
| * @param entry Kernel entry point address. |
| 54,7 → 62,7 |
|---|
| * @param bootinfo Structure holding information about loaded tasks. |
| * @param bootinfo_size Size of the bootinfo structure. |
| */ |
| void jump_to_kernel(void *entry, void *bootinfo, unsigned int bootinfo_size) __attribute__((noreturn)); |
| extern void jump_to_kernel(void *entry, void *bootinfo, unsigned int bootinfo_size) __attribute__((noreturn)); |
| |
| |
| #endif |