[coreboot-gerrit] Change in coreboot[master]: device: Add support for resource allocator v4

[Furquan Shaikh (Code Review)]

Furquan Shaikh has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/41443 )

Change subject: device: Add support for resource allocator v4
......................................................................

Patch Set 6:

(1 comment)

https://review.coreboot.org/c/coreboot/+/41443/6/src/device/resource_allocat... 
File src/device/resource_allocator_v4.c:

https://review.coreboot.org/c/coreboot/+/41443/6/src/device/resource_allocat... 
PS6, Line 272: 			mark_resource_invalid(resource);
> > > First, I don't see how `base == limit` implies or disables anything. Please explain. […]

Okay. I think I understand what you are saying. Let's continue discussion on the PCI driver CLs you have pushed. I think it makes sense to use the semantics:

IORESOURCE_ASSIGNED: Resource is allocated space by the allocator. If allocation fails, IORESOURCE_ASSIGNED will not be set and all resource attributes(base, limit, size) will be left untouched.