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 | */ |