Rev 4343 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4343 | Rev 4344 | ||
|---|---|---|---|
| Line 49... | Line 49... | ||
| 49 | uintptr_t hw_map(uintptr_t physaddr, size_t size) |
49 | uintptr_t hw_map(uintptr_t physaddr, size_t size) |
| 50 | { |
50 | { |
| 51 | return physaddr + 0xa0000000; |
51 | return physaddr + 0xa0000000; |
| 52 | } |
52 | } |
| 53 | 53 | ||
| 54 | void hw_area(uintptr_t *physaddr, pfn_t *frames) |
- | |
| 55 | { |
- | |
| 56 | *physaddr = end_frame; |
- | |
| 57 | *frames = ADDR2PFN(0xffffffff - end_frame); |
- | |
| 58 | } |
- | |
| 59 | - | ||
| 60 | /** @} |
54 | /** @} |
| 61 | */ |
55 | */ |