Searched refs:s5p_get_cpu_name (Results 1 – 3 of 3) sorted by relevance
43 printf("CPU: %s%X @ ", s5p_get_cpu_name(), s5p_cpu_id); in print_cpuinfo()
67 static inline char *s5p_get_cpu_name(void) in s5p_get_cpu_name() function
244 static inline char *s5p_get_cpu_name(void) in s5p_get_cpu_name() function