39,7 → 39,7 |
#define BOOT_arm32_ASM_H |
|
|
/** Copies #cnt bytes from #dst to #src. |
/** Copies cnt bytes from dst to src. |
* |
* @param dst Destination address. |
* @param src Source address. |
52,7 → 52,7 |
* |
* @param entry Kernel entry point address. |
* @param bootinfo Structure holding information about loaded tasks. |
* @param bootinto_size Size of the #bootinfo structure. |
* @param bootinfo_size Size of the bootinfo structure. |
*/ |
void jump_to_kernel(void *entry, void *bootinfo, unsigned int bootinfo_size) __attribute__((noreturn)); |
|