BCM2835_POWER_DOMAIN_HDMI  411 drivers/soc/bcm/bcm2835-power.c 	case BCM2835_POWER_DOMAIN_HDMI:
BCM2835_POWER_DOMAIN_HDMI  477 drivers/soc/bcm/bcm2835-power.c 	case BCM2835_POWER_DOMAIN_HDMI:
BCM2835_POWER_DOMAIN_HDMI  599 drivers/soc/bcm/bcm2835-power.c 	[BCM2835_POWER_DOMAIN_HDMI] = "hdmi",