Rev 3674 | Rev 4344 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3674 | Rev 4343 | ||
|---|---|---|---|
| Line 162... | Line 162... | ||
| 162 | } |
162 | } |
| 163 | 163 | ||
| 164 | return virtaddr; |
164 | return virtaddr; |
| 165 | } |
165 | } |
| 166 | 166 | ||
| - | 167 | void hw_area(uintptr_t *physaddr, pfn_t *frames) |
|
| - | 168 | { |
|
| - | 169 | *physaddr = end_frame; |
|
| - | 170 | *frames = ADDR2PFN(0x7ffffffffff - end_frame); |
|
| - | 171 | } |
|
| - | 172 | ||
| 167 | /** @} |
173 | /** @} |
| 168 | */ |
174 | */ |
| 169 | - | ||