Searched refs:psci_boot (Results 1 – 1 of 1) sorted by relevance
54 uint32_t psci_boot = 0x00; in socfpga_pwr_domain_on() local64 psci_boot = mmio_read_32(SOCFPGA_SYSMGR(BOOT_SCRATCH_COLD_8)); in socfpga_pwr_domain_on()65 psci_boot |= 0x80000; /* bit 19 */ in socfpga_pwr_domain_on()66 mmio_write_32(SOCFPGA_SYSMGR(BOOT_SCRATCH_COLD_8), psci_boot); in socfpga_pwr_domain_on()
