Searched refs:cpacr (Results 1 – 1 of 1) sorted by relevance
228 uint32_t cpacr = read_cpacr(); in init_vfp_sec() local235 cpacr &= ~(CPACR_ASEDIS | CPACR_D32DIS); in init_vfp_sec()240 cpacr |= CPACR_CP(10, CPACR_CP_ACCESS_FULL); in init_vfp_sec()241 cpacr |= CPACR_CP(11, CPACR_CP_ACCESS_FULL); in init_vfp_sec()242 write_cpacr(cpacr); in init_vfp_sec()