| /branches/dd/boot/arch/arm32/loader/asm.h |
|---|
| 60,10 → 60,9 |
| * |
| * @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, |
| unsigned int bootinfo_size) __attribute__((noreturn)); |
| extern void jump_to_kernel(void *entry, void *bootinfo) __attribute__((noreturn)); |
| #endif |