Rev 2927 | Rev 4344 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2927 | Rev 4343 | ||
|---|---|---|---|
| Line 39... | Line 39... | ||
| 39 | #include <config.h> |
39 | #include <config.h> |
| 40 | #include <align.h> |
40 | #include <align.h> |
| 41 | #include <macros.h> |
41 | #include <macros.h> |
| 42 | 42 | ||
| 43 | uintptr_t last_frame = NULL; |
43 | uintptr_t last_frame = NULL; |
| - | 44 | uintptr_t end_frame = NULL; |
|
| 44 | 45 | ||
| 45 | /** Create memory zones according to information stored in bootinfo. |
46 | /** Create memory zones according to information stored in bootinfo. |
| 46 | * |
47 | * |
| 47 | * Walk the bootinfo memory map and create frame zones according to it. |
48 | * Walk the bootinfo memory map and create frame zones according to it. |
| 48 | */ |
49 | */ |
| Line 78... | Line 79... | ||
| 78 | * here, no matter what is its address. |
79 | * here, no matter what is its address. |
| 79 | */ |
80 | */ |
| 80 | frame_mark_unavailable(ADDR2PFN(KA2PA(PFN2ADDR(0))), 1); |
81 | frame_mark_unavailable(ADDR2PFN(KA2PA(PFN2ADDR(0))), 1); |
| 81 | } |
82 | } |
| 82 | 83 | ||
| - | 84 | end_frame = last_frame; |
|
| 83 | } |
85 | } |
| 84 | 86 | ||
| 85 | /** @} |
87 | /** @} |
| 86 | */ |
88 | */ |