The *2 factor between cores and threads of most modern CPUs is already taken into account in get_processor_count().