Searched refs:pchctlr_old (Results 1 – 1 of 1) sorted by relevance
259 unsigned int pchctlr_old = 0x00; in bl31_plat_set_secondary_cpu_entrypoint() local285 pchctlr_old = mmio_read_32(AGX5_PWRMGR(MPU_PCHCTLR)); in bl31_plat_set_secondary_cpu_entrypoint()286 pchctlr_new = pchctlr_old | (pch_cpu<<1); in bl31_plat_set_secondary_cpu_entrypoint()