scpi_dev_domain_id  665 drivers/firmware/arm_scpi.c 	int domain = scpi_dev_domain_id(dev);
scpi_dev_domain_id  788 drivers/firmware/arm_scpi.c 	.device_domain_id = scpi_dev_domain_id,