Rev 4194 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4194 | Rev 4490 | ||
---|---|---|---|
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 */ |