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

[Nico Huber (Code Review)]

Attention is currently required from: Arthur Heymans, Christian Walter, Johnny Lin, Jonathan Zhang, Lean Sheng Tan, Patrick Rudolph, Shuo Liu, Tim Chu.

Nico Huber 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 4: Code-Review+1

(4 comments)

Commit Message:

https://review.coreboot.org/c/coreboot/+/81554/comment/220977f5_54fdc853 :
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.
(Right now we may have a 1:1 mapping of domains to host bridges, but
that's probably due to FSP and not the hardware.)

Patchset:

PS4: 
Thanks for taking care!

File src/device/device_util.c:

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

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