Rev 2465 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2465 | Rev 2468 | ||
|---|---|---|---|
| Line 60... | Line 60... | ||
| 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 | * @param bootinfo_size Size of the bootinfo structure. |
| 64 | */ |
64 | */ |
| - | 65 | extern void jump_to_kernel(void *entry, void *bootinfo, |
|
| 65 | extern void jump_to_kernel(void *entry, void *bootinfo, unsigned int bootinfo_size) __attribute__((noreturn)); |
66 | unsigned int bootinfo_size) __attribute__((noreturn)); |
| 66 | 67 | ||
| 67 | 68 | ||
| 68 | #endif |
69 | #endif |
| 69 | 70 | ||
| 70 | - | ||
| 71 | /** @} |
71 | /** @} |
| 72 | */ |
72 | */ |
| 73 | - | ||