Rev 4029 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4029 | Rev 4490 | ||
---|---|---|---|
Line 40... | Line 40... | ||
40 | 40 | ||
41 | #define BOOTINFO_TASK_NAME_BUFLEN 32 |
41 | #define BOOTINFO_TASK_NAME_BUFLEN 32 |
42 | 42 | ||
43 | #include <typedefs.h> |
43 | #include <typedefs.h> |
44 | 44 | ||
45 | extern count_t cpu_count; |
45 | extern size_t cpu_count; |
46 | 46 | ||
47 | typedef struct { |
47 | typedef struct { |
48 | uintptr_t addr; |
48 | uintptr_t addr; |
49 | uint32_t size; |
49 | uint32_t size; |
50 | char name[BOOTINFO_TASK_NAME_BUFLEN]; |
50 | char name[BOOTINFO_TASK_NAME_BUFLEN]; |