blob: 316dce6f567fe473d852342507188bf89f381987 [file] [log] [blame]
Angel Pons118a9c72020-04-02 23:48:34 +02001/* SPDX-License-Identifier: GPL-2.0-only */
Furquan Shaikh14290922020-03-11 14:35:35 -07002
3#include <assert.h>
Aaron Durbina05a8522013-03-22 20:44:46 -05004#include <stdlib.h>
Furquan Shaikh14290922020-03-11 14:35:35 -07005#include <commonlib/helpers.h>
Aaron Durbina05a8522013-03-22 20:44:46 -05006#include <console/console.h>
7#include <memrange.h>
8
Aaron Durbina05a8522013-03-22 20:44:46 -05009static inline void range_entry_link(struct range_entry **prev_ptr,
Lee Leahye20a3192017-03-09 16:21:34 -080010 struct range_entry *r)
Aaron Durbina05a8522013-03-22 20:44:46 -050011{
12 r->next = *prev_ptr;
13 *prev_ptr = r;
14}
15
16static inline void range_entry_unlink(struct range_entry **prev_ptr,
Lee Leahye20a3192017-03-09 16:21:34 -080017 struct range_entry *r)
Aaron Durbina05a8522013-03-22 20:44:46 -050018{
19 *prev_ptr = r->next;
20 r->next = NULL;
21}
22
Aaron Durbin1b915b82016-01-15 21:59:37 -060023static inline void range_entry_unlink_and_free(struct memranges *ranges,
Lee Leahye20a3192017-03-09 16:21:34 -080024 struct range_entry **prev_ptr,
25 struct range_entry *r)
Aaron Durbina05a8522013-03-22 20:44:46 -050026{
27 range_entry_unlink(prev_ptr, r);
Aaron Durbin1b915b82016-01-15 21:59:37 -060028 range_entry_link(&ranges->free_list, r);
Aaron Durbina05a8522013-03-22 20:44:46 -050029}
30
Aaron Durbin1b915b82016-01-15 21:59:37 -060031static struct range_entry *alloc_range(struct memranges *ranges)
Aaron Durbina05a8522013-03-22 20:44:46 -050032{
Aaron Durbin1b915b82016-01-15 21:59:37 -060033 if (ranges->free_list != NULL) {
Aaron Durbina05a8522013-03-22 20:44:46 -050034 struct range_entry *r;
35
Aaron Durbin1b915b82016-01-15 21:59:37 -060036 r = ranges->free_list;
37 range_entry_unlink(&ranges->free_list, r);
Aaron Durbina05a8522013-03-22 20:44:46 -050038 return r;
39 }
Subrata Banik42c44c22019-05-15 20:27:04 +053040 if (ENV_PAYLOAD_LOADER)
Aaron Durbin1b915b82016-01-15 21:59:37 -060041 return malloc(sizeof(struct range_entry));
42 return NULL;
Aaron Durbina05a8522013-03-22 20:44:46 -050043}
44
45static inline struct range_entry *
Aaron Durbin1b915b82016-01-15 21:59:37 -060046range_list_add(struct memranges *ranges, struct range_entry **prev_ptr,
Lee Leahye20a3192017-03-09 16:21:34 -080047 resource_t begin, resource_t end, unsigned long tag)
Aaron Durbina05a8522013-03-22 20:44:46 -050048{
49 struct range_entry *new_entry;
50
Aaron Durbin1b915b82016-01-15 21:59:37 -060051 new_entry = alloc_range(ranges);
Aaron Durbina05a8522013-03-22 20:44:46 -050052 if (new_entry == NULL) {
53 printk(BIOS_ERR, "Could not allocate range_entry!\n");
54 return NULL;
55 }
56 new_entry->begin = begin;
57 new_entry->end = end;
58 new_entry->tag = tag;
59 range_entry_link(prev_ptr, new_entry);
60
61 return new_entry;
62}
63
64static void merge_neighbor_entries(struct memranges *ranges)
65{
66 struct range_entry *cur;
67 struct range_entry *prev;
68
69 prev = NULL;
70 /* Merge all neighbors and delete/free the leftover entry. */
71 for (cur = ranges->entries; cur != NULL; cur = cur->next) {
72 /* First entry. Just set prev. */
73 if (prev == NULL) {
74 prev = cur;
75 continue;
76 }
77
78 /* If the previous entry merges with the current update the
79 * previous entry to cover full range and delete current from
80 * the list. */
81 if (prev->end + 1 >= cur->begin && prev->tag == cur->tag) {
82 prev->end = cur->end;
Aaron Durbin1b915b82016-01-15 21:59:37 -060083 range_entry_unlink_and_free(ranges, &prev->next, cur);
Aaron Durbina05a8522013-03-22 20:44:46 -050084 /* Set cur to prev so cur->next is valid since cur
85 * was just unlinked and free. */
86 cur = prev;
87 continue;
88 }
89
90 prev = cur;
91 }
92}
93
94static void remove_memranges(struct memranges *ranges,
Lee Leahye20a3192017-03-09 16:21:34 -080095 resource_t begin, resource_t end,
96 unsigned long unused)
Aaron Durbina05a8522013-03-22 20:44:46 -050097{
98 struct range_entry *cur;
99 struct range_entry *next;
100 struct range_entry **prev_ptr;
101
102 prev_ptr = &ranges->entries;
103 for (cur = ranges->entries; cur != NULL; cur = next) {
104 resource_t tmp_end;
105
106 /* Cache the next value to handle unlinks. */
107 next = cur->next;
108
109 /* No other ranges are affected. */
110 if (end < cur->begin)
111 break;
112
113 /* The removal range starts after this one. */
114 if (begin > cur->end) {
115 prev_ptr = &cur->next;
116 continue;
117 }
118
119 /* The removal range overlaps with the current entry either
120 * partially or fully. However, we need to adjust the removal
121 * range for any holes. */
122 if (begin <= cur->begin) {
123 begin = cur->begin;
124
125 /* Full removal. */
126 if (end >= cur->end) {
127 begin = cur->end + 1;
Aaron Durbin1b915b82016-01-15 21:59:37 -0600128 range_entry_unlink_and_free(ranges, prev_ptr,
Lee Leahye20a3192017-03-09 16:21:34 -0800129 cur);
Aaron Durbina05a8522013-03-22 20:44:46 -0500130 continue;
131 }
132 }
133
134 /* prev_ptr can be set now that the unlink path wasn't taken. */
135 prev_ptr = &cur->next;
136
137 /* Clip the end fragment to do proper splitting. */
138 tmp_end = end;
139 if (end > cur->end)
140 tmp_end = cur->end;
141
142 /* Hole punched in middle of entry. */
143 if (begin > cur->begin && tmp_end < cur->end) {
Aaron Durbin1b915b82016-01-15 21:59:37 -0600144 range_list_add(ranges, &cur->next, end + 1, cur->end,
Lee Leahye20a3192017-03-09 16:21:34 -0800145 cur->tag);
Aaron Durbina05a8522013-03-22 20:44:46 -0500146 cur->end = begin - 1;
147 break;
148 }
149
150 /* Removal at beginning. */
151 if (begin == cur->begin)
152 cur->begin = tmp_end + 1;
153
154 /* Removal at end. */
155 if (tmp_end == cur->end)
156 cur->end = begin - 1;
157 }
158}
159
160static void merge_add_memranges(struct memranges *ranges,
Lee Leahye20a3192017-03-09 16:21:34 -0800161 resource_t begin, resource_t end,
162 unsigned long tag)
Aaron Durbina05a8522013-03-22 20:44:46 -0500163{
164 struct range_entry *cur;
165 struct range_entry **prev_ptr;
166
167 prev_ptr = &ranges->entries;
168
169 /* Remove all existing entries covered by the range. */
170 remove_memranges(ranges, begin, end, -1);
171
172 /* Find the entry to place the new entry after. Since
Martin Rothcbf2bd72013-07-09 21:51:14 -0600173 * remove_memranges() was called above there is a guaranteed
Aaron Durbina05a8522013-03-22 20:44:46 -0500174 * spot for this new entry. */
175 for (cur = ranges->entries; cur != NULL; cur = cur->next) {
176 /* Found insertion spot before current entry. */
177 if (end < cur->begin)
178 break;
179
180 /* Keep track of previous entry to insert new entry after it. */
181 prev_ptr = &cur->next;
182
183 /* The new entry starts after this one. */
184 if (begin > cur->end)
185 continue;
Aaron Durbina05a8522013-03-22 20:44:46 -0500186 }
187
188 /* Add new entry and merge with neighbors. */
Aaron Durbin1b915b82016-01-15 21:59:37 -0600189 range_list_add(ranges, prev_ptr, begin, end, tag);
Aaron Durbina05a8522013-03-22 20:44:46 -0500190 merge_neighbor_entries(ranges);
191}
192
Aaron Durbined9307d2014-02-05 15:44:30 -0600193void memranges_update_tag(struct memranges *ranges, unsigned long old_tag,
Lee Leahye20a3192017-03-09 16:21:34 -0800194 unsigned long new_tag)
Aaron Durbined9307d2014-02-05 15:44:30 -0600195{
196 struct range_entry *r;
197
198 memranges_each_entry(r, ranges) {
199 if (range_entry_tag(r) == old_tag)
200 range_entry_update_tag(r, new_tag);
201 }
202
203 merge_neighbor_entries(ranges);
204}
205
Aaron Durbina05a8522013-03-22 20:44:46 -0500206typedef void (*range_action_t)(struct memranges *ranges,
Lee Leahye20a3192017-03-09 16:21:34 -0800207 resource_t begin, resource_t end,
208 unsigned long tag);
Aaron Durbina05a8522013-03-22 20:44:46 -0500209
210static void do_action(struct memranges *ranges,
Lee Leahye20a3192017-03-09 16:21:34 -0800211 resource_t base, resource_t size, unsigned long tag,
212 range_action_t action)
Aaron Durbina05a8522013-03-22 20:44:46 -0500213{
214 resource_t end;
215 resource_t begin;
216
Furquan Shaikh196ee2b2014-07-18 10:25:54 -0700217 if (size == 0)
218 return;
219
Furquan Shaikh19083402020-03-24 14:56:38 -0700220 /* The addresses are aligned to (1ULL << ranges->align): the begin address is
Aaron Durbina05a8522013-03-22 20:44:46 -0500221 * aligned down while the end address is aligned up to be conservative
222 * about the full range covered. */
Furquan Shaikh19083402020-03-24 14:56:38 -0700223 begin = ALIGN_DOWN(base, POWER_OF_2(ranges->align));
Aaron Durbina05a8522013-03-22 20:44:46 -0500224 end = begin + size + (base - begin);
Furquan Shaikh19083402020-03-24 14:56:38 -0700225 end = ALIGN_UP(end, POWER_OF_2(ranges->align)) - 1;
Aaron Durbina05a8522013-03-22 20:44:46 -0500226 action(ranges, begin, end, tag);
227}
228
229void memranges_create_hole(struct memranges *ranges,
Lee Leahye20a3192017-03-09 16:21:34 -0800230 resource_t base, resource_t size)
Aaron Durbina05a8522013-03-22 20:44:46 -0500231{
232 do_action(ranges, base, size, -1, remove_memranges);
233}
234
235void memranges_insert(struct memranges *ranges,
Lee Leahye20a3192017-03-09 16:21:34 -0800236 resource_t base, resource_t size, unsigned long tag)
Aaron Durbina05a8522013-03-22 20:44:46 -0500237{
238 do_action(ranges, base, size, tag, merge_add_memranges);
239}
240
241struct collect_context {
242 struct memranges *ranges;
243 unsigned long tag;
Aaron Durbinca4f4b82014-02-08 15:41:52 -0600244 memrange_filter_t filter;
Aaron Durbina05a8522013-03-22 20:44:46 -0500245};
246
247static void collect_ranges(void *gp, struct device *dev, struct resource *res)
248{
249 struct collect_context *ctx = gp;
250
Vladimir Serbinenko7a4fa0a2014-02-05 23:38:29 +0100251 if (res->size == 0)
252 return;
253
Aaron Durbinca4f4b82014-02-08 15:41:52 -0600254 if (ctx->filter == NULL || ctx->filter(dev, res))
255 memranges_insert(ctx->ranges, res->base, res->size, ctx->tag);
Aaron Durbina05a8522013-03-22 20:44:46 -0500256}
257
Aaron Durbinca4f4b82014-02-08 15:41:52 -0600258void memranges_add_resources_filter(struct memranges *ranges,
Lee Leahye20a3192017-03-09 16:21:34 -0800259 unsigned long mask, unsigned long match,
260 unsigned long tag,
261 memrange_filter_t filter)
Aaron Durbina05a8522013-03-22 20:44:46 -0500262{
263 struct collect_context context;
264
265 /* Only deal with MEM resources. */
266 mask |= IORESOURCE_MEM;
267 match |= IORESOURCE_MEM;
268
269 context.ranges = ranges;
270 context.tag = tag;
Aaron Durbinca4f4b82014-02-08 15:41:52 -0600271 context.filter = filter;
Aaron Durbina05a8522013-03-22 20:44:46 -0500272 search_global_resources(mask, match, collect_ranges, &context);
273}
274
Aaron Durbinca4f4b82014-02-08 15:41:52 -0600275void memranges_add_resources(struct memranges *ranges,
Lee Leahye20a3192017-03-09 16:21:34 -0800276 unsigned long mask, unsigned long match,
277 unsigned long tag)
Aaron Durbinca4f4b82014-02-08 15:41:52 -0600278{
279 memranges_add_resources_filter(ranges, mask, match, tag, NULL);
280}
281
Furquan Shaikh14290922020-03-11 14:35:35 -0700282void memranges_init_empty_with_alignment(struct memranges *ranges,
283 struct range_entry *to_free,
Furquan Shaikh19083402020-03-24 14:56:38 -0700284 size_t num_free, unsigned char align)
Furquan Shaikh196ee2b2014-07-18 10:25:54 -0700285{
Aaron Durbin1b915b82016-01-15 21:59:37 -0600286 size_t i;
287
Furquan Shaikh196ee2b2014-07-18 10:25:54 -0700288 ranges->entries = NULL;
Aaron Durbin1b915b82016-01-15 21:59:37 -0600289 ranges->free_list = NULL;
Furquan Shaikh14290922020-03-11 14:35:35 -0700290 ranges->align = align;
Aaron Durbin1b915b82016-01-15 21:59:37 -0600291
292 for (i = 0; i < num_free; i++)
Aaron Durbina7141c52016-02-24 18:49:25 -0600293 range_entry_link(&ranges->free_list, &to_free[i]);
Furquan Shaikh196ee2b2014-07-18 10:25:54 -0700294}
295
Furquan Shaikh14290922020-03-11 14:35:35 -0700296void memranges_init_with_alignment(struct memranges *ranges,
297 unsigned long mask, unsigned long match,
Furquan Shaikh19083402020-03-24 14:56:38 -0700298 unsigned long tag, unsigned char align)
Aaron Durbina05a8522013-03-22 20:44:46 -0500299{
Furquan Shaikh14290922020-03-11 14:35:35 -0700300 memranges_init_empty_with_alignment(ranges, NULL, 0, align);
Aaron Durbina05a8522013-03-22 20:44:46 -0500301 memranges_add_resources(ranges, mask, match, tag);
302}
303
Patrick Rudolphd67a4bd2018-04-10 09:31:10 +0200304/* Clone a memrange. The new memrange has the same entries as the old one. */
305void memranges_clone(struct memranges *newranges, struct memranges *oldranges)
306{
307 struct range_entry *r, *cur;
308 struct range_entry **prev_ptr;
309
Furquan Shaikh14290922020-03-11 14:35:35 -0700310 memranges_init_empty_with_alignment(newranges, NULL, 0, oldranges->align);
Patrick Rudolphd67a4bd2018-04-10 09:31:10 +0200311
312 prev_ptr = &newranges->entries;
313 memranges_each_entry(r, oldranges) {
314 cur = range_list_add(newranges, prev_ptr, r->begin, r->end,
315 r->tag);
316 prev_ptr = &cur->next;
317 }
318}
319
Aaron Durbina05a8522013-03-22 20:44:46 -0500320void memranges_teardown(struct memranges *ranges)
321{
322 while (ranges->entries != NULL) {
Aaron Durbin1b915b82016-01-15 21:59:37 -0600323 range_entry_unlink_and_free(ranges, &ranges->entries,
Lee Leahye20a3192017-03-09 16:21:34 -0800324 ranges->entries);
Aaron Durbina05a8522013-03-22 20:44:46 -0500325 }
326}
327
328void memranges_fill_holes_up_to(struct memranges *ranges,
Lee Leahye20a3192017-03-09 16:21:34 -0800329 resource_t limit, unsigned long tag)
Aaron Durbina05a8522013-03-22 20:44:46 -0500330{
331 struct range_entry *cur;
332 struct range_entry *prev;
333
334 prev = NULL;
335 for (cur = ranges->entries; cur != NULL; cur = cur->next) {
336 /* First entry. Just set prev. */
337 if (prev == NULL) {
338 prev = cur;
339 continue;
340 }
341
Martin Rothcbf2bd72013-07-09 21:51:14 -0600342 /* If the previous entry does not directly precede the current
Aaron Durbina05a8522013-03-22 20:44:46 -0500343 * entry then add a new entry just after the previous one. */
344 if (range_entry_end(prev) != cur->begin) {
345 resource_t end;
346
347 end = cur->begin - 1;
348 if (end >= limit)
349 end = limit - 1;
Aaron Durbin1b915b82016-01-15 21:59:37 -0600350 range_list_add(ranges, &prev->next,
Lee Leahye20a3192017-03-09 16:21:34 -0800351 range_entry_end(prev), end, tag);
Aaron Durbina05a8522013-03-22 20:44:46 -0500352 }
353
354 prev = cur;
355
356 /* Hit the requested range limit. No other entries after this
357 * are affected. */
358 if (cur->begin >= limit)
359 break;
360 }
361
362 /* Handle the case where the limit was never reached. A new entry needs
363 * to be added to cover the range up to the limit. */
364 if (prev != NULL && range_entry_end(prev) < limit)
Aaron Durbin1b915b82016-01-15 21:59:37 -0600365 range_list_add(ranges, &prev->next, range_entry_end(prev),
Lee Leahye20a3192017-03-09 16:21:34 -0800366 limit - 1, tag);
Aaron Durbina05a8522013-03-22 20:44:46 -0500367
368 /* Merge all entries that were newly added. */
369 merge_neighbor_entries(ranges);
370}
Aaron Durbinf6f6e132013-03-26 21:22:42 -0500371
372struct range_entry *memranges_next_entry(struct memranges *ranges,
Lee Leahye20a3192017-03-09 16:21:34 -0800373 const struct range_entry *r)
Aaron Durbinf6f6e132013-03-26 21:22:42 -0500374{
375 return r->next;
376}
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700377
378/* Find a range entry that satisfies the given constraints to fit a hole that matches the
379 * required alignment, is big enough, does not exceed the limit and has a matching tag. */
Nico Huber526c6422020-05-25 00:03:14 +0200380static const struct range_entry *
381memranges_find_entry(struct memranges *ranges, resource_t limit, resource_t size,
382 unsigned char align, unsigned long tag, bool last)
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700383{
Nico Huber526c6422020-05-25 00:03:14 +0200384 const struct range_entry *r, *last_entry = NULL;
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700385 resource_t base, end;
386
387 if (size == 0)
388 return NULL;
389
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700390 memranges_each_entry(r, ranges) {
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700391 if (r->tag != tag)
392 continue;
393
Furquan Shaikh19083402020-03-24 14:56:38 -0700394 base = ALIGN_UP(r->begin, POWER_OF_2(align));
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700395 end = base + size - 1;
396
397 if (end > r->end)
398 continue;
399
Furquan Shaikhf8f56502020-05-06 13:18:05 -0700400 /*
401 * If end for the hole in the current range entry goes beyond the requested
402 * limit, then none of the following ranges can satisfy this request because all
403 * range entries are maintained in increasing order.
404 */
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700405 if (end > limit)
Furquan Shaikhf8f56502020-05-06 13:18:05 -0700406 break;
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700407
Nico Huber526c6422020-05-25 00:03:14 +0200408 if (!last)
409 return r;
410
411 last_entry = r;
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700412 }
413
Nico Huber526c6422020-05-25 00:03:14 +0200414 return last_entry;
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700415}
416
Furquan Shaikh19083402020-03-24 14:56:38 -0700417bool memranges_steal(struct memranges *ranges, resource_t limit, resource_t size,
Nico Huber526c6422020-05-25 00:03:14 +0200418 unsigned char align, unsigned long tag, resource_t *stolen_base,
419 bool from_top)
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700420{
Nico Huber526c6422020-05-25 00:03:14 +0200421 const struct range_entry *r;
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700422
Nico Huber526c6422020-05-25 00:03:14 +0200423 r = memranges_find_entry(ranges, limit, size, align, tag, from_top);
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700424 if (r == NULL)
425 return false;
426
Nico Huber526c6422020-05-25 00:03:14 +0200427 if (from_top) {
Nico Huberb2893e22023-07-15 01:47:04 +0200428 limit = MIN(limit, r->end);
Nico Huber526c6422020-05-25 00:03:14 +0200429 /* Ensure we're within the range, even aligned down.
430 Proof is simple: If ALIGN_UP(r->begin) would be
431 higher, the stolen range wouldn't fit.*/
Nico Huberb2893e22023-07-15 01:47:04 +0200432 assert(r->begin <= ALIGN_DOWN(limit - size + 1, POWER_OF_2(align)));
433 *stolen_base = ALIGN_DOWN(limit - size + 1, POWER_OF_2(align));
Nico Huber526c6422020-05-25 00:03:14 +0200434 } else {
435 *stolen_base = ALIGN_UP(r->begin, POWER_OF_2(align));
436 }
437 memranges_create_hole(ranges, *stolen_base, size);
Furquan Shaikh9c6274c2020-03-11 19:06:24 -0700438
439 return true;
440}