| 32,7 → 32,7 |
|---|
| */ |
| /** @file |
| * @brief Functions implemented in assembly. |
| */ |
| */ |
| |
| |
| #ifndef BOOT_arm32_ASM_H |
| 40,32 → 40,26 |
|---|
| |
| |
| /** Copies cnt bytes from dst to src. |
| * |
| * |
| * @param dst Destination address. |
| * @param src Source address. |
| * @param cnt Count of bytes to be copied. |
| * @param cnt Count of bytes to be copied. |
| */ |
| #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. |
| * @param bootinfo Structure holding information about loaded tasks. |
| * |
| * @param entry Kernel entry point address. |
| * @param bootinfo Structure holding information about loaded tasks. |
| * @param bootinfo_size Size of the bootinfo structure. |
| */ |
| extern void jump_to_kernel(void *entry, void *bootinfo) __attribute__((noreturn)); |
| void jump_to_kernel(void *entry, void *bootinfo, unsigned int bootinfo_size) __attribute__((noreturn)); |
| |
| |
| #endif |
| |
| |
| /** @} |
| */ |
| |