Rev 792 | Rev 813 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 792 | Rev 793 | ||
|---|---|---|---|
| Line 31... | Line 31... | ||
| 31 | #include <config.h> |
31 | #include <config.h> |
| 32 | 32 | ||
| 33 | void frame_arch_init(void) |
33 | void frame_arch_init(void) |
| 34 | { |
34 | { |
| 35 | /* |
35 | /* |
| 36 | * Workaround to prevent slab allocator from allocating fram 0, |
36 | * Workaround to prevent slab allocator from allocating frame 0, |
| 37 | * which is not, at that time, mapped. |
37 | * which is not mapped by OFW. |
| 38 | */ |
38 | */ |
| 39 | frame_region_not_free(0, FRAME_SIZE); |
39 | frame_region_not_free(0, FRAME_SIZE); |
| 40 | 40 | ||
| 41 | zone_create_in_region(0, config.memory_size & ~(FRAME_SIZE - 1)); |
41 | zone_create_in_region(0, config.memory_size & ~(FRAME_SIZE - 1)); |
| 42 | } |
42 | } |