Symbol: scpi_dev_domain_id
drivers/firmware/arm_scpi.c
674
int domain = scpi_dev_domain_id(dev);
drivers/firmware/arm_scpi.c
797
.device_domain_id = scpi_dev_domain_id,