Searched refs:dbe_int_status (Results 1 – 1 of 1) sorted by relevance
36 uint32_t dbe_int_status; in cold_reset_for_ecc_dbe() local38 dbe_int_status = mmio_read_32(SOCFPGA_SYSMGR(BOOT_SCRATCH_COLD_8)); in cold_reset_for_ecc_dbe()41 dbe_int_status &= SYSMGR_ECC_DBE_COLD_RST_MASK; in cold_reset_for_ecc_dbe()43 if (dbe_int_status > 0) { in cold_reset_for_ecc_dbe()