Rev 2468 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2468 | Rev 3922 | ||
|---|---|---|---|
| Line 30... | Line 30... | ||
| 30 | /** @addtogroup arm32boot |
30 | /** @addtogroup arm32boot |
| 31 | * @{ |
31 | * @{ |
| 32 | */ |
32 | */ |
| 33 | /** @file |
33 | /** @file |
| 34 | * @brief Functions implemented in assembly. |
34 | * @brief Functions implemented in assembly. |
| 35 | */ |
35 | */ |
| 36 | 36 | ||
| 37 | 37 | ||
| 38 | #ifndef BOOT_arm32_ASM_H |
38 | #ifndef BOOT_arm32_ASM_H |
| 39 | #define BOOT_arm32_ASM_H |
39 | #define BOOT_arm32_ASM_H |
| 40 | 40 | ||
| 41 | 41 | ||
| 42 | /** Copies cnt bytes from dst to src. |
42 | /** Copies cnt bytes from dst to src. |
| 43 | * |
43 | * |
| 44 | * @param dst Destination address. |
44 | * @param dst Destination address. |
| 45 | * @param src Source address. |
45 | * @param src Source address. |
| 46 | * @param cnt Count of bytes to be copied. |
46 | * @param cnt Count of bytes to be copied. |
| 47 | */ |
47 | */ |
| 48 | #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) |
48 | #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) |
| 49 | 49 | ||
| 50 | 50 | ||
| 51 | /** Called when the CPU is switched on. |
51 | /** Called when the CPU is switched on. |
| Line 56... | Line 56... | ||
| 56 | extern void start(void); |
56 | extern void start(void); |
| 57 | 57 | ||
| 58 | 58 | ||
| 59 | /** Jumps to the kernel entry point. |
59 | /** Jumps to the kernel entry point. |
| 60 | * |
60 | * |
| 61 | * @param entry Kernel entry point address. |
61 | * @param entry Kernel entry point address. |
| 62 | * @param bootinfo Structure holding information about loaded tasks. |
62 | * @param bootinfo Structure holding information about loaded tasks. |
| 63 | * @param bootinfo_size Size of the bootinfo structure. |
- | |
| - | 63 | * |
|
| 64 | */ |
64 | */ |
| 65 | extern void jump_to_kernel(void *entry, void *bootinfo, |
65 | extern void jump_to_kernel(void *entry, void *bootinfo) __attribute__((noreturn)); |
| 66 | unsigned int bootinfo_size) __attribute__((noreturn)); |
- | |
| 67 | 66 | ||
| 68 | 67 | ||
| 69 | #endif |
68 | #endif |
| 70 | 69 | ||
| 71 | /** @} |
70 | /** @} |