Rev 2243 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2243 | Rev 2256 | ||
---|---|---|---|
Line 31... | Line 31... | ||
31 | */ |
31 | */ |
32 | /** @file |
32 | /** @file |
33 | */ |
33 | */ |
34 | 34 | ||
35 | #include <mm/frame.h> |
35 | #include <mm/frame.h> |
- | 36 | #include <arch/mm/frame.h> |
|
36 | #include <config.h> |
37 | #include <config.h> |
37 | #include "../aux_print/printf.h" |
38 | #include "../aux_print/printf.h" |
38 | 39 | ||
39 | __address last_frame = 0; |
40 | uintptr_t last_frame = 0; |
40 | 41 | ||
41 | /** Create memory zones. */ |
42 | /** Create memory zones. */ |
42 | void frame_arch_init(void) |
43 | void frame_arch_init(void) |
43 | { |
44 | { |
44 | aux_printf("frame_arch_init ... begin\n"); |
- | |
45 | - | ||
46 | // all memory as one zone |
45 | // all memory as one zone |
47 | zone_create(0, ADDR2PFN(config.memory_size), 11, 0); |
46 | zone_create(0, ADDR2PFN(config.memory_size), 2, 0); |
48 | last_frame = config.memory_size; |
47 | last_frame = config.memory_size; |
49 | 48 | ||
50 | /* Blacklist interrupt vector + Kernels from boot loader page table */ |
49 | // blacklist interrupt vector |
51 | frame_mark_unavailable(0, 10); |
50 | frame_mark_unavailable(0, 1); |
52 | - | ||
53 | aux_printf("frame_arch_init ... end\n"); |
- | |
54 | } |
51 | } |
55 | 52 | ||
56 | /** @} |
53 | /** @} |
57 | */ |
54 | */ |