Searched refs:fvp_pwrc_get_cpu_wkr (Results 1 – 2 of 2) sorted by relevance
51 unsigned int fvp_pwrc_get_cpu_wkr(u_register_t mpidr);
32 unsigned int fvp_pwrc_get_cpu_wkr(u_register_t mpidr) in fvp_pwrc_get_cpu_wkr() function