Searched refs:psci_boot (Results 1 – 1 of 1) sorted by relevance
62 uint32_t psci_boot = 0x00; in socfpga_pwr_domain_on() local72 psci_boot = mmio_read_32(SOCFPGA_SYSMGR(BOOT_SCRATCH_COLD_8)); in socfpga_pwr_domain_on()73 psci_boot |= 0x80000; /* bit 19 */ in socfpga_pwr_domain_on()74 mmio_write_32(SOCFPGA_SYSMGR(BOOT_SCRATCH_COLD_8), psci_boot); in socfpga_pwr_domain_on()