[coreboot-gerrit] [S] Change in coreboot[main]: device/device_util: Rename dev_get_pci_domain

[Shuo Liu (Code Review)]

Attention is currently required from: Arthur Heymans, Christian Walter, Johnny Lin, Jonathan Zhang, Jérémy Compostella, Lean Sheng Tan, Nico Huber, Patrick Rudolph, Tim Chu.

Shuo Liu has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/81554?usp=email )

Change subject: device/device_util: Rename dev_get_pci_domain
......................................................................

Patch Set 5:

(4 comments)

Commit Message:

https://review.coreboot.org/c/coreboot/+/81554/comment/bf79eb36_450c2c3a :
PS4, Line 9: In coreboot, domain indicates hardware units that functions as PCIe
           : host bridges.
> No, they basically provide/group resource windows. It's not about PCI. […]

Done

File src/device/device_util.c:

https://review.coreboot.org/c/coreboot/+/81554/comment/9a80b3b2_a0552eda :
PS4, Line 253: /* Returns the PCI domain for the given PCI device */
> Drop "PCI" please.

Done

https://review.coreboot.org/c/coreboot/+/81554/comment/38c9c86a_6a93c272 :
PS4, Line 256: 	assert(is_pci(dev));
> Missed this.

Done

https://review.coreboot.org/c/coreboot/+/81554/comment/c56e99c1_2d9ba8ed :
PS4, Line 258: PCI
> Same.

Done