Rev 4263 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4263 | Rev 4581 | ||
|---|---|---|---|
| Line 48... | Line 48... | ||
| 48 | size_t size; |
48 | size_t size; |
| 49 | char name[CONFIG_TASK_NAME_BUFLEN]; |
49 | char name[CONFIG_TASK_NAME_BUFLEN]; |
| 50 | } init_task_t; |
50 | } init_task_t; |
| 51 | 51 | ||
| 52 | typedef struct { |
52 | typedef struct { |
| 53 | count_t cnt; |
53 | size_t cnt; |
| 54 | init_task_t tasks[CONFIG_INIT_TASKS]; |
54 | init_task_t tasks[CONFIG_INIT_TASKS]; |
| 55 | } init_t; |
55 | } init_t; |
| 56 | 56 | ||
| 57 | /** Boot allocations. |
57 | /** Boot allocations. |
| 58 | * |
58 | * |
| Line 63... | Line 63... | ||
| 63 | uintptr_t base; |
63 | uintptr_t base; |
| 64 | size_t size; |
64 | size_t size; |
| 65 | } ballocs_t; |
65 | } ballocs_t; |
| 66 | 66 | ||
| 67 | typedef struct { |
67 | typedef struct { |
| 68 | count_t cpu_count; /**< Number of processors detected. */ |
68 | size_t cpu_count; /**< Number of processors detected. */ |
| 69 | volatile count_t cpu_active; /**< Number of processors that are up and running. */ |
69 | volatile size_t cpu_active; /**< Number of processors that are up and running. */ |
| 70 | 70 | ||
| 71 | uintptr_t base; |
71 | uintptr_t base; |
| 72 | size_t kernel_size; /**< Size of memory in bytes taken by kernel and stack */ |
72 | size_t kernel_size; /**< Size of memory in bytes taken by kernel and stack */ |
| 73 | 73 | ||
| 74 | uintptr_t stack_base; /**< Base adddress of initial stack */ |
74 | uintptr_t stack_base; /**< Base adddress of initial stack */ |