Rev 3908 | Rev 3973 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3908 | Rev 3940 | ||
---|---|---|---|
Line 39... | Line 39... | ||
39 | #include <arch/mm/frame.h> |
39 | #include <arch/mm/frame.h> |
40 | #include <bitops.h> |
40 | #include <bitops.h> |
41 | #include <debug.h> |
41 | #include <debug.h> |
42 | #include <align.h> |
42 | #include <align.h> |
43 | #include <config.h> |
43 | #include <config.h> |
- | 44 | #include <ddi/ddi.h> |
|
- | 45 | ||
- | 46 | /** Physical memory area for devices. */ |
|
- | 47 | static parea_t dev_area; |
|
44 | 48 | ||
45 | #ifdef CONFIG_SMP |
49 | #ifdef CONFIG_SMP |
46 | /** Entries locked in DTLB of BSP. |
50 | /** Entries locked in DTLB of BSP. |
47 | * |
51 | * |
48 | * Application processors need to have the same locked entries in their DTLBs as |
52 | * Application processors need to have the same locked entries in their DTLBs as |
Line 162... | Line 166... | ||
162 | } |
166 | } |
163 | 167 | ||
164 | return virtaddr; |
168 | return virtaddr; |
165 | } |
169 | } |
166 | 170 | ||
167 | void hw_area(uintptr_t *physaddr, pfn_t *frames) |
171 | void hw_area(void) |
168 | { |
172 | { |
169 | *physaddr = end_frame; |
173 | dev_area.pbase = end_frame; |
170 | *frames = ADDR2PFN(0x7ffffffffff - end_frame); |
174 | dev_area.frames = SIZE2FRAMES(0x7ffffffffff - end_frame); |
- | 175 | ddi_parea_register(&dev_area); |
|
171 | } |
176 | } |
172 | 177 | ||
173 | /** @} |
178 | /** @} |
174 | */ |
179 | */ |