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