Home
last modified time | relevance | path

Searched defs:init_vfp_sec (Results 1 – 1 of 1) 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

Completed in 5 milliseconds