Searched refs:pch_cpu (Results 1 – 2 of 2) sorted by relevance
258 unsigned int pch_cpu = 0x00; in bl31_plat_set_secondary_cpu_entrypoint() local268 pch_cpu = 1 << cpu_id; in bl31_plat_set_secondary_cpu_entrypoint()286 pchctlr_new = pchctlr_old | (pch_cpu<<1); in bl31_plat_set_secondary_cpu_entrypoint()291 mmio_write_32(RSTMGR_CPUSTRELEASE_CPUx, pch_cpu); in bl31_plat_set_secondary_cpu_entrypoint()364 unsigned int pch_cpu = 0x00; in bl31_plat_set_secondary_cpu_off() local370 pch_cpu = mmio_read_32(AGX5_PWRMGR(MPU_PCHCTLR)); in bl31_plat_set_secondary_cpu_off()371 pch_cpu = pch_cpu & ~(pch_cpu_off << 1); in bl31_plat_set_secondary_cpu_off()373 mmio_write_32(AGX5_PWRMGR(MPU_PCHCTLR), pch_cpu); in bl31_plat_set_secondary_cpu_off()
59 unsigned int pch_cpu = 0x0; in socfpga_pwr_domain_on() local82 pch_cpu = mmio_read_32(AGX5_PWRMGR(MPU_PCHCTLR)) & in socfpga_pwr_domain_on()86 if ((AGX5_PWRMGR_MPU_TRIGGER_PCH_CPU(1 << cpu_id) & (pch_cpu)) != 0) in socfpga_pwr_domain_on()