Rev 4343 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4343 | Rev 4344 | ||
|---|---|---|---|
| Line 212... | Line 212... | ||
| 212 | last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE); |
212 | last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE); |
| 213 | 213 | ||
| 214 | return virtaddr; |
214 | return virtaddr; |
| 215 | } |
215 | } |
| 216 | 216 | ||
| 217 | void hw_area(uintptr_t *physaddr, pfn_t *frames) |
- | |
| 218 | { |
- | |
| 219 | *physaddr = end_frame; |
- | |
| 220 | *frames = ADDR2PFN(0xfffffffffffff - end_frame); |
- | |
| 221 | } |
- | |
| 222 | - | ||
| 223 | /** @} |
217 | /** @} |
| 224 | */ |
218 | */ |