Rev 624 | Rev 676 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 624 | Rev 629 | ||
|---|---|---|---|
| Line 67... | Line 67... | ||
| 67 | */ |
67 | */ |
| 68 | void frame_init(void) |
68 | void frame_init(void) |
| 69 | { |
69 | { |
| 70 | if (config.cpu_active == 1) { |
70 | if (config.cpu_active == 1) { |
| 71 | frame_region_not_free(KA2PA(config.base), config.kernel_size); |
71 | frame_region_not_free(KA2PA(config.base), config.kernel_size); |
| - | 72 | if (config.init_size > 0) |
|
| - | 73 | frame_region_not_free(KA2PA(config.init_addr), config.init_size); |
|
| 72 | } |
74 | } |
| 73 | 75 | ||
| 74 | frame_arch_init(); |
76 | frame_arch_init(); |
| 75 | } |
77 | } |
| 76 | 78 | ||