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 61... | Line 61... | ||
| 61 | last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE); |
61 | last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE); |
| 62 | 62 | ||
| 63 | return virtaddr; |
63 | return virtaddr; |
| 64 | } |
64 | } |
| 65 | 65 | ||
| - | 66 | void hw_area(uintptr_t *physaddr, pfn_t *frames) |
|
| - | 67 | { |
|
| - | 68 | *physaddr = end_frame; |
|
| - | 69 | *frames = ADDR2PFN(0xffffffff - end_frame); |
|
| - | 70 | } |
|
| - | 71 | ||
| 66 | /** @} |
72 | /** @} |
| 67 | */ |
73 | */ |