Rev 2357 | Rev 3922 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2357 | Rev 2464 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | */ |
34 | */ |
35 | 35 | ||
36 | #ifndef KERN_arm32_ASM_BOOT_H_ |
36 | #ifndef KERN_arm32_ASM_BOOT_H_ |
37 | #define KERN_arm32_ASM_BOOT_H_ |
37 | #define KERN_arm32_ASM_BOOT_H_ |
38 | 38 | ||
39 | - | ||
40 | /** Size of a temporary stack used for initial kernel start. */ |
39 | /** Size of a temporary stack used for initial kernel start. */ |
41 | #define TEMP_STACK_SIZE 0x100 |
40 | #define TEMP_STACK_SIZE 0x100 |
42 | 41 | ||
43 | #ifndef __ASM__ |
42 | #ifndef __ASM__ |
44 | 43 | ||
Line 50... | Line 49... | ||
50 | * |
49 | * |
51 | * @param entry Entry point address (not used). |
50 | * @param entry Entry point address (not used). |
52 | * @param boot_bootinfo Struct holding information about loaded tasks. |
51 | * @param boot_bootinfo Struct holding information about loaded tasks. |
53 | * @param bootinfo_size Size of the bootinfo structure. |
52 | * @param bootinfo_size Size of the bootinfo structure. |
54 | */ |
53 | */ |
55 | void kernel_image_start(void *entry, void *boot_bootinfo, unsigned int bootinfo_size); |
54 | extern void kernel_image_start(void *entry, void *boot_bootinfo, |
56 | - | ||
- | 55 | unsigned int bootinfo_size); |
|
57 | 56 | ||
58 | #endif |
57 | #endif |
59 | 58 | ||
60 | #endif |
59 | #endif |
61 | 60 |