Home
last modified time | relevance | path

Searched refs:init_vfp_sec (Results 1 – 2 of 2) sorted by relevance

/optee_os/core/arch/arm/kernel/
A Dboot.c153 static void init_vfp_sec(void) in init_vfp_sec() function
174 static void init_vfp_sec(void) in init_vfp_sec() function
183 static void init_vfp_sec(void) in init_vfp_sec() function
1248 init_vfp_sec(); in init_primary()
1326 init_vfp_sec(); in init_secondary_helper()
/optee_os/out/arm/core/
A Dtee.dmp13242 init_vfp_sec():
13302 init_vfp_sec():

Completed in 128 milliseconds