Rev 2787 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2787 | Rev 4377 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | */ |
34 | */ |
35 | 35 | ||
36 | #ifndef KERN_arm32_ARCH_H_ |
36 | #ifndef KERN_arm32_ARCH_H_ |
37 | #define KERN_arm32_ARCH_H_ |
37 | #define KERN_arm32_ARCH_H_ |
38 | 38 | ||
- | 39 | #define TASKMAP_MAX_RECORDS 32 |
|
- | 40 | #define CPUMAP_MAX_RECORDS 32 |
|
- | 41 | ||
- | 42 | #define BOOTINFO_TASK_NAME_BUFLEN 32 |
|
- | 43 | ||
- | 44 | #include <typedefs.h> |
|
- | 45 | ||
- | 46 | typedef struct { |
|
- | 47 | uintptr_t addr; |
|
- | 48 | uint32_t size; |
|
- | 49 | char name[BOOTINFO_TASK_NAME_BUFLEN]; |
|
- | 50 | } utask_t; |
|
- | 51 | ||
- | 52 | typedef struct { |
|
- | 53 | uint32_t cnt; |
|
- | 54 | utask_t tasks[TASKMAP_MAX_RECORDS]; |
|
- | 55 | } bootinfo_t; |
|
- | 56 | ||
- | 57 | extern void arch_pre_main(void *entry, bootinfo_t *bootinfo); |
|
- | 58 | ||
39 | #endif |
59 | #endif |
40 | 60 | ||
41 | /** @} |
61 | /** @} |
42 | */ |
62 | */ |