Searched refs:syscfgid (Results 1 – 1 of 1) sorted by relevance
67 unsigned int syscfgid = get_er(SYSCFGID); in get_core_count() local68 return ((syscfgid >> 18) & 0xf) + 1; in get_core_count()