Searched refs:REG_CPUCFG_DBG_CTRL1 (Results 1 – 1 of 1) sorted by relevance
51 #define REG_CPUCFG_DBG_CTRL1 (0x01e4) macro105 io_clrbits32(cpucfg + REG_CPUCFG_DBG_CTRL1, BIT32(core_idx)); in psci_cpu_on()127 io_setbits32(cpucfg + REG_CPUCFG_DBG_CTRL1, BIT32(core_idx)); in psci_cpu_on()