Rev 793 | Rev 820 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 793 | Rev 813 | ||
---|---|---|---|
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 frame 0, |
36 | * Workaround to prevent slab allocator from allocating frame 0. |
- | 37 | * Frame 0 is |
|
37 | * which is not mapped by OFW. |
38 | * a) not mapped by OFW |
- | 39 | * b) would be confused with NULL error return code |
|
38 | */ |
40 | */ |
39 | frame_region_not_free(0, FRAME_SIZE); |
41 | frame_region_not_free(0, FRAME_SIZE); |
40 | 42 | ||
41 | zone_create_in_region(0, config.memory_size & ~(FRAME_SIZE - 1)); |
43 | zone_create_in_region(0, config.memory_size & ~(FRAME_SIZE - 1)); |
42 | } |
44 | } |