[coreboot-gerrit] [S] Change in coreboot[main]: device: introduce and use dev_get_domain_id

[Shuo Liu (Code Review)]

Attention is currently required from: Arthur Heymans, Christian Walter, Felix Held, Fred Reitberger, Jason Glenesk, Johnny Lin, Jonathan Zhang, Lean Sheng Tan, Martin L Roth, Matt DeVillier, Patrick Rudolph, Tim Chu, Varshit Pandya.

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

Change subject: device: introduce and use dev_get_domain_id
......................................................................

Patch Set 4:

(1 comment)

File src/device/device_util.c:

https://review.coreboot.org/c/coreboot/+/83644/comment/441d8892_c02e0fe4?usp... :
PS3, Line 269: 		printk(BIOS_ERR, "%s: doesn't have a domain device\n", dev_path(dev));
> added an assert before this check since i can't print the device path in the assert statement. […]

Done