|  | /* SPDX-License-Identifier: GPL-2.0 */ | 
|  | /* | 
|  | *  Copyright © 2015 Broadcom | 
|  | */ | 
|  |  | 
|  | #ifndef _DT_BINDINGS_ARM_BCM2835_RPI_POWER_H | 
|  | #define _DT_BINDINGS_ARM_BCM2835_RPI_POWER_H | 
|  |  | 
|  | /* These power domain indices are the firmware interface's indices | 
|  | * minus one. | 
|  | */ | 
|  | #define RPI_POWER_DOMAIN_I2C0		0 | 
|  | #define RPI_POWER_DOMAIN_I2C1		1 | 
|  | #define RPI_POWER_DOMAIN_I2C2		2 | 
|  | #define RPI_POWER_DOMAIN_VIDEO_SCALER	3 | 
|  | #define RPI_POWER_DOMAIN_VPU1		4 | 
|  | #define RPI_POWER_DOMAIN_HDMI		5 | 
|  | #define RPI_POWER_DOMAIN_USB		6 | 
|  | #define RPI_POWER_DOMAIN_VEC		7 | 
|  | #define RPI_POWER_DOMAIN_JPEG		8 | 
|  | #define RPI_POWER_DOMAIN_H264		9 | 
|  | #define RPI_POWER_DOMAIN_V3D		10 | 
|  | #define RPI_POWER_DOMAIN_ISP		11 | 
|  | #define RPI_POWER_DOMAIN_UNICAM0	12 | 
|  | #define RPI_POWER_DOMAIN_UNICAM1	13 | 
|  | #define RPI_POWER_DOMAIN_CCP2RX		14 | 
|  | #define RPI_POWER_DOMAIN_CSI2		15 | 
|  | #define RPI_POWER_DOMAIN_CPI		16 | 
|  | #define RPI_POWER_DOMAIN_DSI0		17 | 
|  | #define RPI_POWER_DOMAIN_DSI1		18 | 
|  | #define RPI_POWER_DOMAIN_TRANSPOSER	19 | 
|  | #define RPI_POWER_DOMAIN_CCP2TX		20 | 
|  | #define RPI_POWER_DOMAIN_CDP		21 | 
|  | #define RPI_POWER_DOMAIN_ARM		22 | 
|  |  | 
|  | #define RPI_POWER_DOMAIN_COUNT		23 | 
|  |  | 
|  | #endif /* _DT_BINDINGS_ARM_BCM2835_RPI_POWER_H */ |