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