Searched refs:dbx500_partnumber (Results 1 – 3 of 3) sorted by relevance
25 static inline unsigned int __attribute_const__ dbx500_partnumber(void) in dbx500_partnumber() function41 return dbx500_partnumber() == 0x8500; in cpu_is_u8500()46 return dbx500_partnumber() == 0x8520; in cpu_is_u8520()56 return dbx500_partnumber() == 0x9540; in cpu_is_u9540()61 return dbx500_partnumber() == 0x8540; in cpu_is_u8540()66 return dbx500_partnumber() == 0x8580; in cpu_is_u8580()
47 pr_info("DB%4x ", dbx500_partnumber()); in ux500_print_soc_info()
84 return kasprintf(GFP_KERNEL, "DB%4x", dbx500_partnumber()); in ux500_get_machine()