Rev 2927 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2927 | Rev 4343 | ||
---|---|---|---|
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 | /** @} |