Rev 2787 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2787 | Rev 4377 | ||
---|---|---|---|
Line 58... | Line 58... | ||
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 | /** @} |