Attention is currently required from: Julius Werner.
Yu-Ping Wu has posted comments on this change by Yu-Ping Wu. ( https://review.coreboot.org/c/coreboot/+/86115?usp=email )
Change subject: symbols: Add REGION() and REGION_END() macros ......................................................................
Patch Set 1:
(1 comment)
File src/include/symbols.h:
https://review.coreboot.org/c/coreboot/+/86115/comment/158beddd_c55610d3?usp... : PS1, Line 10: uintptr_t Do you prefer this or `void *`? I believe the most common usage would be `mmu_config_range`, which takes an address of type `void *`.