Rev 1888 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1888 | Rev 1894 | ||
|---|---|---|---|
| Line 53... | Line 53... | ||
| 53 | typedef struct { |
53 | typedef struct { |
| 54 | count_t cnt; |
54 | count_t cnt; |
| 55 | init_task_t tasks[CONFIG_INIT_TASKS]; |
55 | init_task_t tasks[CONFIG_INIT_TASKS]; |
| 56 | } init_t; |
56 | } init_t; |
| 57 | 57 | ||
| - | 58 | /** Boot allocations. |
|
| - | 59 | * |
|
| - | 60 | * Allocatations made by the boot that are meant to be used by the kernel |
|
| - | 61 | * are all recorded in the ballocs_t type. |
|
| - | 62 | */ |
|
| - | 63 | typedef struct { |
|
| - | 64 | uintptr_t base; |
|
| - | 65 | size_t size; |
|
| - | 66 | } ballocs_t; |
|
| - | 67 | ||
| 58 | typedef struct { |
68 | typedef struct { |
| 59 | count_t cpu_count; /**< Number of processors detected. */ |
69 | count_t cpu_count; /**< Number of processors detected. */ |
| 60 | volatile count_t cpu_active; /**< Number of processors that are up and running. */ |
70 | volatile count_t cpu_active; /**< Number of processors that are up and running. */ |
| 61 | 71 | ||
| 62 | uintptr_t base; |
72 | uintptr_t base; |
| Line 67... | Line 77... | ||
| 67 | size_t stack_size; /**< Size of initial stack */ |
77 | size_t stack_size; /**< Size of initial stack */ |
| 68 | } config_t; |
78 | } config_t; |
| 69 | 79 | ||
| 70 | extern config_t config; |
80 | extern config_t config; |
| 71 | extern init_t init; |
81 | extern init_t init; |
| - | 82 | extern ballocs_t ballocs; |
|
| 72 | 83 | ||
| 73 | #endif |
84 | #endif |
| 74 | 85 | ||
| 75 | /** @} |
86 | /** @} |
| 76 | */ |
87 | */ |