Rev 4339 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4339 | Rev 4343 | ||
|---|---|---|---|
| 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 | ||
| 217 | /** @} |
223 | /** @} |
| 218 | */ |
224 | */ |