Searched refs:reset_cr4 (Results 1 – 1 of 1) sorted by relevance
54 uint32_t stop_cr4, reset_cr4; in bl2_secure_cpg_init() local69 reset_cr4 = 0x00000000U; in bl2_secure_cpg_init()74 reset_cr4 = 0x80000003U; in bl2_secure_cpg_init()99 cpg_write(SCSRSTECR4, reset_cr4); in bl2_secure_cpg_init()
Completed in 2 milliseconds