Rev 2141 | Rev 3672 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2141 | Rev 2745 | ||
|---|---|---|---|
| Line 64... | Line 64... | ||
| 64 | if (config.cpu_active == 1) { |
64 | if (config.cpu_active == 1) { |
| 65 | page_mapping_operations = &ht_mapping_operations; |
65 | page_mapping_operations = &ht_mapping_operations; |
| 66 | } else { |
66 | } else { |
| 67 | 67 | ||
| 68 | #ifdef CONFIG_SMP |
68 | #ifdef CONFIG_SMP |
| 69 | int i; |
69 | unsigned int i; |
| 70 | 70 | ||
| 71 | /* |
71 | /* |
| 72 | * Copy locked DTLB entries from the BSP. |
72 | * Copy locked DTLB entries from the BSP. |
| 73 | */ |
73 | */ |
| 74 | for (i = 0; i < bsp_locked_dtlb_entries; i++) { |
74 | for (i = 0; i < bsp_locked_dtlb_entries; i++) { |
| Line 96... | Line 96... | ||
| 96 | * @return Virtual address of the page where the device is mapped. |
96 | * @return Virtual address of the page where the device is mapped. |
| 97 | */ |
97 | */ |
| 98 | uintptr_t hw_map(uintptr_t physaddr, size_t size) |
98 | uintptr_t hw_map(uintptr_t physaddr, size_t size) |
| 99 | { |
99 | { |
| 100 | unsigned int order; |
100 | unsigned int order; |
| 101 | int i; |
101 | unsigned int i; |
| 102 | 102 | ||
| 103 | ASSERT(config.cpu_active == 1); |
103 | ASSERT(config.cpu_active == 1); |
| 104 | 104 | ||
| 105 | struct { |
105 | struct { |
| 106 | int pagesize_code; |
106 | int pagesize_code; |