/* Returns zero if it isn't, 1 if it is.  */
int is_core_valid(unsigned int core)
/* Returns zero if it isn't, 1 if it is.  */
int is_core_valid(unsigned int core)
{
	return !!((1 << core) & cpu_mask());
}