Symbol: RPI_POWER_DOMAIN_CCP2TX