Rev 3790 | Rev 3940 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3790 | Rev 3908 | ||
|---|---|---|---|
| Line 104... | Line 104... | ||
| 104 | 104 | ||
| 105 | last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE); |
105 | last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE); |
| 106 | return virtaddr; |
106 | return virtaddr; |
| 107 | } |
107 | } |
| 108 | 108 | ||
| - | 109 | void hw_area(uintptr_t *physaddr, pfn_t *frames) |
|
| - | 110 | { |
|
| - | 111 | *physaddr = end_frame; |
|
| - | 112 | *frames = ADDR2PFN(0xffffffff - end_frame); |
|
| - | 113 | } |
|
| - | 114 | ||
| 109 | /** @} |
115 | /** @} |
| 110 | */ |
116 | */ |