Rev 2329 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2329 | Rev 2356 | ||
---|---|---|---|
Line 27... | Line 27... | ||
27 | */ |
27 | */ |
28 | 28 | ||
29 | /** @addtogroup arm32 |
29 | /** @addtogroup arm32 |
30 | * @{ |
30 | * @{ |
31 | */ |
31 | */ |
32 | /** @file |
32 | /** @file Bootinfo declarations. |
- | 33 | * |
|
- | 34 | * Reflects boot/arch/arm32/loader/mm.h. |
|
33 | */ |
35 | */ |
34 | 36 | ||
35 | #ifndef KERN_arm32_BOOT_H_ |
37 | #ifndef KERN_arm32_BOOT_H_ |
36 | #define KERN_arm32_BOOT_H_ |
38 | #define KERN_arm32_BOOT_H_ |
37 | 39 | ||
- | 40 | #include <arch/types.h> |
|
- | 41 | ||
- | 42 | /** Maximum number of tasks in the #bootinfo_t struct. */ |
|
38 | #define TASKMAP_MAX_RECORDS 32 |
43 | #define TASKMAP_MAX_RECORDS 32 |
39 | 44 | ||
40 | #include <arch/types.h> |
- | |
41 | 45 | ||
- | 46 | /** Struct holding information about single loaded uspace task. */ |
|
42 | typedef struct { |
47 | typedef struct { |
- | 48 | /** Address where the task was placed. */ |
|
43 | uintptr_t addr; |
49 | uintptr_t addr; |
- | 50 | /** Size of the task's binary. */ |
|
44 | uint32_t size; |
51 | uint32_t size; |
45 | } utask_t; |
52 | } utask_t; |
46 | 53 | ||
- | 54 | ||
- | 55 | /** Struct holding information about loaded uspace tasks. */ |
|
47 | typedef struct { |
56 | typedef struct { |
- | 57 | /** Number of loaded tasks. */ |
|
48 | uint32_t cnt; |
58 | uint32_t cnt; |
- | 59 | /** Array of loaded tasks. */ |
|
49 | utask_t tasks[TASKMAP_MAX_RECORDS]; |
60 | utask_t tasks[TASKMAP_MAX_RECORDS]; |
50 | } bootinfo_t; |
61 | } bootinfo_t; |
51 | 62 | ||
- | 63 | ||
- | 64 | /** Bootinfo that is filled in #kernel_image_start. */ |
|
52 | extern bootinfo_t bootinfo; |
65 | extern bootinfo_t bootinfo; |
53 | 66 | ||
- | 67 | ||
54 | #endif |
68 | #endif |
55 | 69 | ||
56 | /** @} |
70 | /** @} |
57 | */ |
71 | */ |