Aaron Durbin has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/41957 )
Change subject: device: Introduce RESOURCE_ALLOCATION_TOP_DOWN ......................................................................
Patch Set 2:
(1 comment)
https://review.coreboot.org/c/coreboot/+/41957/2/src/lib/memrange.c File src/lib/memrange.c:
https://review.coreboot.org/c/coreboot/+/41957/2/src/lib/memrange.c@430 PS2, Line 430: *stolen_base = ALIGN_DOWN(range_entry_end(r) - size, POWER_OF_2(align));
Then, let me convince you. :) […]
OK. Makes sense. We should probably add a comment up there that the one check is sufficient. That comment would be associated with this CL so we can find this commentary in case anyone is interested.